Fandinno, J., Glinzer, C., Hansen, Z., Heuer, J., Lierler, Y., Lifschitz, V., . . . Stolzmann, T. (2025). Anthem 2.0: Automated Reasoning for Answer Set Programming.
Cita Chicago Style (17a ed.)Fandinno, Jorge, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, y Tobias Stolzmann. Anthem 2.0: Automated Reasoning for Answer Set Programming. 2025.
Cita MLA (9a ed.)Fandinno, Jorge, et al. Anthem 2.0: Automated Reasoning for Answer Set Programming. 2025.
Precaución: Estas citas no son 100% exactas.