Title: Topics in automated theorem proving