APA (7th ed.) Citation

MARTÍN, Ó., VERDEJO, A., & MARTÍ-OLIET, N. (2024). Compositional Verification in Rewriting Logic. Theory and practice of logic programming, 24(1), 57-109. https://doi.org/10.1017/S1471068423000340

Chicago Style (17th ed.) Citation

MARTÍN, ÓSCAR, ALBERTO VERDEJO, and NARCISO MARTÍ-OLIET. "Compositional Verification in Rewriting Logic." Theory and Practice of Logic Programming 24, no. 1 (2024): 57-109. https://doi.org/10.1017/S1471068423000340.

MLA (9th ed.) Citation

MARTÍN, ÓSCAR, et al. "Compositional Verification in Rewriting Logic." Theory and Practice of Logic Programming, vol. 24, no. 1, 2024, pp. 57-109, https://doi.org/10.1017/S1471068423000340.