D. Pearce, T. Schaub, V. Sarsakov, H. Tompits, S. Woltran: "Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs"; 2002.
http://www.kr.tuwien.ac.at/research/reports/rr0215.ps.gz