Journal Title : ACM Transactions on Computational Logic

Secondary Title :

Parent Database : ABI/Inform Complete (ProQuest)

DOI :

ISSN : 1529-3785

ISBN :