Knowledge Processing and Information Systems
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report

@inproceedings{DBLP:conf/nmr/PearceSSTW02,
  title = {A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report},
  author = {Pearce, David and Sarsakov, Vladimir and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  booktitle = {{NMR}},
  pages = {57--66},
  year = {2002}
}