Recording and checking HOL proofs (1995)

by W Wong
Venue:In Higher Order Logic Theorem Proving and Its Applications. 8th International Workshop, volume 971 of LNCS