Publications

• Selected Papers:
  • Selectively Instantiating Definitions (published in the proceedings of CADE-15, 1998).
  • TPS: A Theorem-Proving System for Classical Type Theory (published in the Journal of Automated Reasoning, 1996).
  • On Sets, Types, Fixed Points and Checkerboards (published in the proceedings of TABLEAUX 96).
  • Integrating TPS and OMEGA (to appear in JUCS, May 1999).
  • A Breadth-First Strategy for Mating Search (to appear in CADE-16, July 1999; this paper is now © Springer-Verlag)
  • Mating Search Without Path Enumeration (Ph.D. thesis; the above paper is an abbreviated version).
• Research:
  • TPS homepage (includes full documentation and description of the TPS project).
• Personal homepage.