T. Eiter, M. Fink, H. Tompits, S. Woltran: "On Eliminating Disjunctions in Stable Logic Programming"; 2003.
http://www.kr.tuwien.ac.at/research/reports/rr0312.ps.gz