TY  - RPRT
TI  - Anthem 2.0: Automated Reasoning for Answer Set Programming
AU  - Jorge Fandinno
AU  - Christoph Glinzer
AU  - Zachary Hansen
AU  - Jan Heuer
AU  - Yuliya Lierler
AU  - Vladimir Lifschitz
AU  - Torsten Schaub
AU  - Tobias Stolzmann
PY  - 2025
DO  - 10.1017/s1471068425100112
UR  - https://arxiv.org/abs/2507.11704
ID  - 2507.11704
ER  -