TY  - BOOK
AU  - WOS LARRY   
AU  -  BOYLE JIM
TI  - AUTOMATED REASONING
U1  - 006.3 WOS 
PY  - 1991///
PB  - MCGRAW-HILL
KW  - COMPUTER
ER  -