1. F. Harmelen, V. Lifschitz, and B. Porter, Handbook of Knowledge Representation (Elsevier, Amsterdam, 2008), p. 1034.
2. M. Ghallab, D. Nau, and P. Traverso, Automated Planning: Theory and Practice (Elsevier, Amsterdam, 2004).
3. M. Ghallab, D. Nau, and P. Traverso, Automated Planning and Acting (Cambridge Univ. Press, Cambridge, 2016), p. 451. http://projects.laas.fr/planning/.
4. R. Fikes and N. Nilsson, “STRIPS: A new approach to the application of theorem proving to problem solving,” Artif. Intell. 2, 189–208 (1971). https://doi.org/10.1016/0004-3702(71)90010-5
5. E. P. D. Pednault, “ADL: Exploring the middle ground between STRIPS and the situation calculus,” in Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning,
1989, pp. 324–332.