TY  - BOOK
AU  - Robert S Boyer,J Strother Moore
TI  - A computational logic handbook
SN  - 0-12-122952-1
U1  - 51 
PY  - 1988///
CY  - 
PB  - Academic Press
ER  -