TY  - BOOK
AU  - "Wos, Larry"
AU  - "Lusk, Ewing: Boyle, Jim"
AU  - "Overbeek, Ross"
TI  - Automated reasoning
SN  - 007911251X
CY  - New York
KW  - Artificial intelligence
KW  - Automatic theorem proving
N1  - includes bibliography and index
ER  -