1. Alagic, S.and Arbib, M.A., The Design of Well-Structured and Correct Programs, Springer-Verlag, 1978.
2. Bylander, T., Complexity results for planning, in: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI-91), 274–279, 1991.
3. Bratko, I., Prolog Programming for Artificial Intelligence, Addison-Wesley Publ. Co., Massachusetts; Menlo Park, California, 1986, 1987.
4. Brownston, L., Farrell, R., Kant, E. and Martin, N., Programming Expert Systems in OPS5, Addison-Wesley Publ. Co., Massachusetts; Menlo Park, California, 1985.
5. Chenoweth, S.V., On the NP-hardness of blocks world planning, in: Proceedings of AAAI-91: Ninth National Conference on Artificial Intelligence, 623–628, 1991.