M. Carmen Fernández Gago, Michael Fisher, Clare Dixon. Algorithms for Guiding Clausal Temporal Resolution. In Matthias Jarke, Jana Koehler, Gerhard Lakemeyer, editors, KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Volume 2479 of Lecture Notes in Computer Science, pages 235-252, Springer, 2002. [doi]
Abstract is missing.