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

@article{DBLP:journals/corr/abs-1907-10389,
  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 = {CoRR},
  volume = {abs/1907.10389},
  year = {2019}
}