TY  - BOOK
AU  - Computational Logic
TI  - Computational logic
SN  - 3-540-64589-6
PY  - 1998///
CY  - Berlin
PB  - Springer
KW  - Computer logic
ER  -