Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language.

Andres Ntzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Browse the full FMCAD paper archive.