Journal Title : ACM Transactions on Computational Logic (TOCL)

Secondary Title :

Parent Database : ACM Digital Library

DOI :

ISSN :

ISBN :