TY  - BOOK
AU  - Wos,Larry
TI  - The automation of reasoning: an experimenter's notebook with OTTER tutorial 
SN  - 0127634207
U1  - 511.3028553 
PY  - 1996///
CY  - San Diego
PB  - Academic Press
KW  - Automatic theorem proving
KW  - Artificial intelligence
KW  - Computer programming
N1  - Includes bibliographical references and index
ER  -