On Eliminating Disjunctions in Stable Logic Programming.

Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

Browse the full KR paper archive.