JournalACM Transactions on Computational LogicDetailsPublisherAssociation for Computing Machinery, Inc.Journal ISSN1529-3785Journal e-ISSN1557-945XPeer-reviewed Yes StatusactiveAuthor's publications results Back to results Search Search Tools Loading search results...