14. Файкс Р., Нильсон Я. Система STRIPS ...— В кн.: Интегр. роботы. М., 1973, с. 382—403.

15. Hewitt С. PLANNER language for proving Theorems in Robots.—In: Int. joint. conf. Art., Intel. Wash., 1969, p. 295—301.

16. Hewitt C. Procedural Imbedding of Knowlege in PLANNER.— In: Second Int. joint. conf. Art. Intel. L. 1971, p. 167—182.

17. Robinson J. A. The generalized resolution principle. N.-Y., 1968, 3, p. 77—94.