Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.

Wolfgang Faber, Hans Tompits, Stefan Woltran

Browse the full KR paper archive.