Title: Deduction systems in artificial intelligence
Subjects: Automatic theorem proving, Artificial intelligence