Simona Perri Francesco Scarcello Gelsomina Catalano Nicola Leone Enhancing DLV instantiator by backjumping techniques. 195-228 2007 51 Ann. Math. Artif. Intell. 2-4 http://dx.doi.org/10.1007/s10472-008-9090-9 db/journals/amai/amai51.html#PerriSCL07