Title: Automated Reasoning
Subjects: Automatic theorem proving, Artificial intelligence, Logic programming