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

@inproceedings{DBLP:conf/iclp/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 = {{ICLP}},
  pages = {405--420},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2401},
  year = {2002}
}