Helko Lehmann, Michael Leuschel. Solving Planning Problems by Partial Deduction. In Michel Parigot, Andrei Voronkov, editors, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Volume 1955 of Lecture Notes in Computer Science, pages 451-468, Springer, 2000. [doi]
Abstract is missing.