Some Research Issues in Higher Order Logic Theorem Proving - Melham, T (Department of Computer Science‚ University of Aarhus, 1996)