TY  - RPRT
TI  - Small Proofs from Congruence Closure
AU  - Oliver Flatt
AU  - Samuel Coward
AU  - Max Willsey
AU  - Zachary Tatlock
AU  - Pavel Panchekha
PY  - 2022
UR  - https://arxiv.org/abs/2209.03398
ID  - 2209.03398
ER  -