Efficient representation and validation of proofs (1998)

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