Elsa L. Gunter Amy P. Felty Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings TPHOLs Lecture Notes in Computer Science 1275 Springer 1997 3-540-63379-0 db/conf/tphol/tphol97.html