Knowledge Processing and Information Systems
Anthem 2.0: Automated Reasoning for Answer Set Programming

@article{DBLP:journals/corr/abs-2507-11704,
  title = {Anthem 2.0: Automated Reasoning for Answer Set Programming},
  author = {Fandinno, Jorge and Glinzer, Christoph and Hansen, Zachary and Heuer, Jan and Lierler, Yuliya and Lifschitz, Vladimir and Schaub, Torsten and Stolzmann, Tobias},
  journal = {CoRR},
  volume = {abs/2507.11704},
  year = {2025}
}