-J. Grundy/M. Newey (Eds.): Theorem Proving in Higher Order Logics. Proceedings, Springer-Verlag 1998