Recording and Checking HOL Proofs (1995)

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