@misc{indiciae9e0dd13e3235,
  title = {Small Proofs from Congruence Closure},
  author = {Oliver Flatt and Samuel Coward and Max Willsey and Zachary Tatlock and Pavel Panchekha},
  year = {2022},
  url = {https://arxiv.org/abs/2209.03398},
  note = {Source identifier: 2209.03398}
}