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