Title: Automation of Reasoning No. 2
Subjects: Automatic theorem proving