@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} }