Acm Transactions on Computational Logic | Revista