Knowledge Processing and Information Systems
Inconsistency Proofs for ASP: The ASP - DRUPE Format

@article{DBLP:journals/tplp/AlvianoDFHPR19,
  title = {Inconsistency Proofs for {ASP:} The {ASP} - {DRUPE} Format},
  author = {Alviano, Mario and Dodaro, Carmine and Fichte, Johannes Klaus and Hecher, Markus and Philipp, Tobias and Rath, Jakob},
  journal = {{TPLP}},
  number = {5-6},
  pages = {891--907},
  volume = {19},
  year = {2019}
}