"BackJumping techniques for rules instantiation in the DLV system."

Nicola Leone, Simona Perri, Francesco Scarcello (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics