TY  - BOOK
AU  - Wos,  Larry
TI  - Automated reasoning: introduction and applications 
U1  - 006.3 A82 
ER  -