Efficient representation and validation of logical proofs (1998)

by G C Necula, P Lee
Venue:In Proceedings of the 13th Annual Symposium on Logic in Computer Science (LICS’98