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

@article{DBLP:journals/tplp/FandinnoHLGHSSL25,
  title = {{ANTHEM} 2.0: Automated Reasoning for Answer Set Programming},
  author = {Fandinno, Jorge and Hansen, Zachary and Lierler, Yuliya and Glinzer, Christoph and Heuer, Jan and Schaub, Torsten and Stolzmann, Tobias and Lifschitz, Vladimir},
  journal = {Theory Pract. Log. Program.},
  number = {4},
  pages = {668--684},
  volume = {25},
  year = {2025}
}