Title
ACM Transactions on Computational Logic
Journal unique ID
89
ISSN
1529-3785
eISSN
1557-945X