1. D. Chapman. Planning for conjunctive goals. In Artificial Intelligence, number 32, pages 333–377. 1987.
2. R.E. Fikes and N.J. Nilsson. Strips: a new approach to the application of theorem proving to problem solving. In Artificial Intelligence, volume 2, pages 189–208. 1971.
3. D. McAllester and D. Rosenblitt. Systematic nonlinear planning. In 9th Nat. Conf. on A.I., pages 634–639, July 1991.
4. D. McDermott. Regression planning. International Journal of Intelligent Systems, 6:357–416, 1991.
5. E.P.D. Pednault. Formulating multiagent, dynamic-world problems in the classical planning framework. In M.P. Georgeff and A.L. Lansky, editors, Reasoning about actions and plans: proceedings of the 1986 workshop, pages 47–82, Los Altos, California, 1986. Morgan Kaufmann.