Carreño, Victor A. Theorem Proving In Higher Order Logics: 15th International Conference, Tphols 2002 Hampton, Va, Usa, August 20-23, 2002 Proceedings (Lecture Notes In Computer Science, 2410, Band 2410)