TY  - BOOK
AU  - LARRY WOS; ROSS OVERBARI; EWING LUSK
TI  - AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS
SN  - 978007911251X
U1  - 006.3  N1 (MCA) 
PB  - MCGRAW HILL BOOK COMPANY
KW  - COMPUTER SCIENCE
KW  - ARTIFICIAL INTELLIGENCE
ER  -