Marco Maratea Francesco Ricca Wolfgang Faber Nicola Leone Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. 70-89 2008 63 J. Algorithms 1-3 http://dx.doi.org/10.1016/j.jalgor.2008.02.006 db/journals/jal/jal63.html#MarateaRFL08