TY - RPRT TI - Complexity of super-coherence problems in ASP AU - Mario Alviano AU - Wolfgang Faber AU - Stefan Woltran PY - 2012 DO - 10.1017/s147106841300001x UR - https://arxiv.org/abs/1212.5895 ID - 1212.5895 ER -