ACM Transactions on Computational Logic

Publisher: Association for Computing Machinery
Place: New York, NY
Identifiers: