Recording and checking HOL proofs (1995)

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