A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.

David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran

Browse the full ICLP paper archive.