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