1. R. E. Fikes and N. Nilsson, “STRIPS: a new approach to the application of theorem Proving to problem solving,” Artif. Intell., No. 5 (2), 189–208 (1971).
2. Ch.-L. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Computer Science and Applied Mathematics (Academic, 1973; Nauka, Moscow, 1983).
3. R. A. Brooks, “Intelligence without reasoning,” in Proceedings of the International Joint Conference on Artificial Intelligence IJCAI’91 (1991), Vol. 1, pp. 569–595.
4. L. Steels, “Building agents out of autonomous behavior systems,” in The Artificial Life Route to Artificial Intelligence. Building Embodied Situated Agents, Ed. by L. Steels and R. A. Brooks (Lawrence Erlbaum Assoc., Hillsdale, NJ, 1995), pp. 83–121.
5. R. A. Brooks, “A robust layered control system for a mobile robot,” IEEE J. Rob. Autom. 2, 14–23 (1986).