Nicola Leone, Simona Perri, Francesco Scarcello. BackJumping techniques for rules instantiation in the DLV system. In James P. Delgrande, Torsten Schaub, editors, 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. pages 258-266, 2004. [doi]
Abstract is missing.