TY  - SER
TI  - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
SN  - 1529-3785
PY  - 2000///
CY  - NEW YORK 
PB  - ASSOCIATION FOR COMPUTING MACHINERY
ER  -