Title: Automated reasoning with Otter
Subjects: Artificial intelligence, Automatic theorem proving, Computer programming, Otter (Computer file)