TY  - RPRT
TI  - Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
AU  - Fabian Vehlken
AU  - Thomas Zeume
AU  - Emilio Carrasco Bustamante
AU  - Maëlle Cornély
AU  - Lukas Pradel
PY  - 2026
UR  - https://arxiv.org/abs/2602.19673
ID  - 2602.19673
ER  -