TY  - BOOK
AU  - Nerode, Anil.
AU  - Shore, Richard A.
TI  - Logic for Applications
SN  - 0 387 94129 0
CY  - New York
KW  - Logic Programming
KW  - Logic, Symbolic and Mathematical
ER  -