Journal Title : ACM Transactions on Computational Logic

Secondary Title :

Parent Database : ACM Digital Library(Association for Computing Machinery)

DOI :

ISSN : 1557-945X

ISBN :