Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.

Jrg Phrer, Hans Tompits, Stefan Woltran

Browse the full ICLP paper archive.