Title: Higher order logic theorem proving and its applications
First published: 1993