ACM Transactions on Computational Logic, ‎1529-3785

Journal