Higher order logic theorem proving and its applications - Claesen, Luc J M (1993)