TY  - BOOK
AU  - Parent M
TI  - Logic and programming
PY  - 1985///
CY  - N J
PB  - N J, Prentice Hall
ER  -