Efficient representation and validation of proofs (1998)

by George Necula, Peter Lee
Venue:In Proceedings of the 13th LiCS, Indianapolis (IN US