Title: Topics in automated theorem proving and program generation
Subjects: Automatic theorem proving, Computer programming