Title: Gems of Theoretical Computer Science
Subjects: Automatic theorem proving