Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. - Fabian Vehlken; Thomas Zeume; Emilio Carrasco Bustamante; Maëlle Cornély; Lukas Pradel (CoRR, 2026)