TY  - SER
TI  - ACM Transactions on Computational Logic [electronic resource]
SN  - Online : 
PB  - The Association for Computing Machinery (ACM)
UR  - http://dl.acm.org/citation.cfm?id=J773
ER  -