-J. von Wright/J. Grundy/J. Harrison (Eds.): Theorem Proving in Higher Order Logics, Springer-Verlag Proceedings 1996