TY  - BOOK
AU  - Boyer Robert S
AU  -  Moore J StrREF
TI  - Computational logic
T2  - ACM monograph series
U1  - D65,8(B), L93 
PY  - 1983///
CY  - New York    
PB  -  Academic Press       
KW  - Computer science
N1  - Appendix 329-84p
ER  -