Independently Checkable Proofs from Decision Procedures: Issues and Progress.

Allen Van Gelder Independently Checkable Proofs from Decision Procedures: Issues and Progress. 1 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_1 db/conf/lpar/lpar2005.html#Gelder05