@misc{indiciae873733bb6c53,
  title = {Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas},
  author = {Fabian Vehlken and Thomas Zeume and Emilio Carrasco Bustamante and Maëlle Cornély and Lukas Pradel},
  year = {2026},
  url = {https://arxiv.org/abs/2602.19673},
  note = {Source identifier: 2602.19673}
}