Title: Theorem proving with abstraction, part II
Subjects: Automatic theorem proving