System description: Tps: A theorem proving system for type theory (2000)

by P B Andrews, M Bishop, C E Brown
Venue:In McAllester