The TPS Theorem Proving System

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning. The TPS Theorem Proving System. In Mark E. Stickel, editor, 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Volume 449 of Lecture Notes in Computer Science, pages 641-642, Springer, 1990.


Abstract is missing.