The TPS Theorem Proving System.

Peter B. Andrews, Frank Pfenning, Sunil Issar, Carl P. Klapper

Browse the full CADE paper archive.