Title: Reference manual for the environmental theorem prover
Subjects: Automatic theorem proving, Artificial intelligence