TY  - BOOK
AU  - Was Larry
AU  -  Lusk Ewing
AU  -  Over Beek Ross
TI  - Automated reasoning: Introduction and applicatios
U1  - D65,8(B)92, M4 
PY  - 1984///
CY  - New Jersey
PB  -  Pentice Hall       
KW  - Computer science
ER  -