Acm Transactions On Computational Logic