Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Basin, David; Basin, David; Wolff, Burkhart; Wolff, Burkhart (Springer Berlin Heidelberg : Imprint: Springer, 2003)