TY  - RPRT
TI  - Inconsistency Proofs for ASP: The ASP-DRUPE Format
AU  - Mario Alviano
AU  - Carmine Dodaro
AU  - Johannes K. Fichte
AU  - Markus Hecher
AU  - Tobias Philipp
AU  - Jakob Rath
PY  - 2019
UR  - https://arxiv.org/abs/1907.10389
ID  - 1907.10389
ER  -