Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha. Small Proofs from Congruence Closure. In FMCAD. pages 75-83, 2022. [doi]
@inproceedings{FlattCWTP22,
title = {Small Proofs from Congruence Closure},
author = {Oliver Flatt and Samuel Coward and Max Willsey and Zachary Tatlock and Pavel Panchekha},
year = {2022},
doi = {10.34727/2022/isbn.978-3-85448-053-2_13},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_13},
researchr = {https://researchr.org/publication/FlattCWTP22},
cites = {0},
citedby = {0},
pages = {75-83},
booktitle = {FMCAD},
}