George C. Necula Peter Lee Efficient Representation and Validation of Proofs. 93-104 1998 LICS db/conf/lics/lics98.html#NeculaL98