ACM Transactions on Computational Logic