2026-06-292026-06-29https://hdl.handle.net/11420/63686ACM transactions on computational logic