APA (7th ed.) Citation

Vehlken, F., Zeume, T., Bustamante, E. C., Cornély, M., & Pradel, L. (2026). Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Vehlken, Fabian, et al. Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. 2026.