Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.

Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Malle Cornly, Lukas Pradel

Browse the full KR paper archive.