tps: A theorem proving system for classical type theory (1996)

by P B Andrews, M Bishop, S Issar, D Nesmith, F Pfennig, H Xi
Venue:Journal of Automated Reasoning