Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / - Slind, Konrad.; Bunker, Annette.; Gopalakrishnan, Ganesh. (Springer, 2004)