Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings - Gunter, Elsa L.; Gunter, Elsa L.; Felty, Amy; Felty, Amy (Springer Berlin Heidelberg : Imprint: Springer, 1997)