The ALF proof editor and its proof engine (1994)

by Lena Magnusson, Bengt Nordström
Venue:In Henk Barendregt and Tobias Nipkow, editors, Types for Proofs and Programs: International Workshop TYPES ’93, LNCS 806