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

by Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Venue:Journal of Automated Reasoning