The automation of reasoning : an experimenter's notebook with OTTER tutorial /
Wos, Larry.
San Diego ; London : Academic,
1996.
Otter (Computer file)
Automatic theorem proving.
Artificial intelligence.
Electronic digital computers