2025-03-072025-03-07https://hdl.handle.net/11420/54701ACM Transactions on Computation Theory