TY - RPRT TI - Technical Report: Inconsistency in Answer Set Programs and Extensions AU - Christoph Redl PY - 2018 UR - https://arxiv.org/abs/1806.00119 ID - 1806.00119 ER -