The TPS Theorem Proving System. - Peter B. Andrews; Frank Pfenning; Sunil Issar; Carl P. Klapper (CADE, 1986)