APA (7th ed.) Citation

FRANCÈS DE MAS, J., & BOWLES, J. (2025). A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs. Theory & Practice of Logic Programming, 25(3), 374. https://doi.org/10.1017/S1471068424000140

Chicago Style (17th ed.) Citation

FRANCÈS DE MAS, JORDINA, and JULIANA BOWLES. "A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs." Theory & Practice of Logic Programming 25, no. 3 (2025): 374. https://doi.org/10.1017/S1471068424000140.

MLA (9th ed.) Citation

FRANCÈS DE MAS, JORDINA, and JULIANA BOWLES. "A Novel Framework for Systematic Propositional Formula Simplification Based on Existential Graphs." Theory & Practice of Logic Programming, vol. 25, no. 3, 2025, p. 374, https://doi.org/10.1017/S1471068424000140.