Fast LCF-style Proof Reconstruction for Z3 (2010)

by S Böhme, T Weber
Venue:In Proc. of ITP 2010, volume 6172 of LNCS