Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - David Basin, Burkhart Wolff ((Lecture Notes in Computer Science))