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

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