ACM Transactions on Computational Logic. Association for Computing Machinery (ACM), New York, NY. English. [1 vol. (= 4 issues) a year (updated continuously)]

Journal, ISSN 1529-3785; 1557-945X/e

http://dl.acm.org/pub.cfm?id=J773

Cover-to-cover reviewing in Zentralblatt MATH.

Library shelfmarks: TIB:ZL 2098