Peter B. Andrews Sunil Issar Daniel Nesmith Frank Pfenning The TPS Theorem Proving System. 760-761 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#AndrewsINP88 http://dx.doi.org/10.1007/BFb0012885