Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings - Wright, J.; Grudy, J.; Harisson, J. (Lecture notes in computer science, 1996)