The TPS Theorem Proving System, Journal of Symbolic Logic 57 (1992)

by P B Andrews, S Issar, D Newmith, F Pfenning
Venue:B A A B B intro : A B A B elim : A B [A i ] : : C [B j ] : : C C