-J. J. Joyce/C.-J. H. Seger (Eds.): Higher Order Logic Theorem Proving and Its Applications, Proceedings 1993, Springer-Verlag 1994