The TPS Theorem Proving System.

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning

Browse the full CADE paper archive.