Vehlken, F., Zeume, T., Bustamante, E. C., Cornély, M., & Pradel, L. (2026). Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.
Chicago-Zitierstil (17. Ausg.)Vehlken, Fabian, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, und Lukas Pradel. Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. 2026.
MLA-Zitierstil (9. Ausg.)Vehlken, Fabian, et al. Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.