Theorem proving in higher order logics 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings / - Basin, David.; Wolff, Burkhart, (Lecture notes in computer science ;)