Guohua Liu, Jia-Huai You. Adaptive Lookahead for Answer Set Computation. In 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 2. pages 230-237, IEEE Computer Society, 2007. [doi]
Abstract is missing.