F. Ricca, W. Faber, N. Leone: "A Backjumping Technique for Disjunctive Logic Programming"; Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-08; 2005; 32 pages.
http://publik.tuwien.ac.at/files/pub-inf_3533.pdf