TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory (1994)

by Peter B Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Venue:Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, volume 780 of Lecture Notes in Computer Science