Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca. Experimenting with Look-Back Heuristics for Hard ASP Programs. In Chitta Baral, Gerhard Brewka, John S. Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Volume 4483 of Lecture Notes in Computer Science, pages 110-122, Springer, 2007. [doi]
Abstract is missing.