Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli. Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. In FMCAD. pages 65-74, 2022. [doi]
Abstract is missing.