Title: Higher order logic theorem proving and its applications
Subjects: Congresses, Automatic theorem proving