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