APA (7th ed.) Citation

FANDINNO, J., HANSEN, Z., LIERLER, Y., GLINZER, C., HEUER, J., SCHAUB, T., . . . LIFSCHITZ, V. (2025). ANTHEM 2.0: Automated Reasoning for Answer Set Programming. Theory & Practice of Logic Programming, 25(4), 668. https://doi.org/10.1017/S1471068425100112

Chicago Style (17th ed.) Citation

FANDINNO, JORGE, ZACHARY HANSEN, YULIYA LIERLER, CHRISTOPH GLINZER, JAN HEUER, TORSTEN SCHAUB, TOBIAS STOLZMANN, and VLADIMIR LIFSCHITZ. "ANTHEM 2.0: Automated Reasoning for Answer Set Programming." Theory & Practice of Logic Programming 25, no. 4 (2025): 668. https://doi.org/10.1017/S1471068425100112.

MLA (9th ed.) Citation

FANDINNO, JORGE, et al. "ANTHEM 2.0: Automated Reasoning for Answer Set Programming." Theory & Practice of Logic Programming, vol. 25, no. 4, 2025, p. 668, https://doi.org/10.1017/S1471068425100112.