Recording and checking HOL proofs (1995)

by Wai Wong
Venue:Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, volume 971 of Lecture Notes in Computer Science