Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings - Grundy, Jim; Grundy, Jim; Newey, Malcolm; Newey, Malcolm (Springer Berlin Heidelberg : Imprint: Springer, 1998)