APA (7th ed.) Citation

LIERLER, Y. (2022). Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs. Theory and practice of logic programming, 22(3), 335-366. https://doi.org/10.1017/S1471068421000545

Chicago Style (17th ed.) Citation

LIERLER, YULIYA. "Strong Equivalence and Program Structure in Arguing Essential Equivalence Between Logic Programs." Theory and Practice of Logic Programming 22, no. 3 (2022): 335-366. https://doi.org/10.1017/S1471068421000545.

MLA (9th ed.) Citation

LIERLER, YULIYA. "Strong Equivalence and Program Structure in Arguing Essential Equivalence Between Logic Programs." Theory and Practice of Logic Programming, vol. 22, no. 3, 2022, pp. 335-366, https://doi.org/10.1017/S1471068421000545.