Knowledge Processing and Information Systems
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report

@article{DBLP:journals/corr/cs-AI-0207071,
  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},
  journal = {CoRR},
  volume = {cs.AI/0207071},
  year = {2002}
}