1. Lifschitz, V., “On the Semantics of STRIPS,” inProceedings of the Workshop on Reasoning about Actions and Plans (M. P. Georgeff, and A. L. Lansky, eds.), Morgan Kaufmann Publishers, Los Altos, pp. 1–8, 1986.
2. Chapman, D., “Planning for Conjunctive Goals,”Artificial Intelligence, Vol. 32, No. 3, pp. 333–377, 1987.
3. Hertzberg, J. and Horz, A., “Towards a theory of conflict detection and resolution in nonlinear plans,” inInternational Joint Conference on Artificial Intelligence, 1989.
4. Green, C., “Application of theorem proving to problem solving,” inInternational Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Los Altos, CA, pp. 219–239, 1969.
5. Machine Intelligence;J. McCarthy,1969