David: Wolff Basin Theorem Proving in Higher Order Logics 2003 --- Proceedings of the Emerging Trends Track
Supplementary Proceedings of the TPHOLs 2003 in Rome.