Giunchiglia, E., & Lifschitz, V. (1998). An action language based on causal explanation:
Preliminary report. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pp. 623–630 Menlo Park. AAAI Press.

Goldman, R. P., Musliner, D. J., & Pelican, M. J. (2000).  Using Model Checking to Plan Hard Real-Time Controllers. In Proceeding of the AIPS2k Workshop on Model-
Theoretic Approaches to Planning Breckenridge, Colorado.

Goldman, R., & Boddy, M. (1996).  Expressive Planning and Explicit Knowledge.  In Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96), pp. 110–117. AAAI Press.

Hoey, J., St-Aubin, R., Hu, A., & Boutilier, C. (1999). Spudd: Stochastic planning using decision diagrams. In Proceedings of the Fifteenth Conference on Uncertainty in Articial Intelligence (1999), pp. 279-288. AAAI Press.

Kautz, H., & Selman, B. (1998).  BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving. In Working notes of the Workshop on Planning as Combinatorial Search Pittsburgh, PA, USA.

Kautz, H. A., McAllester, D., & Selman, B. (1996). Encoding Plans in Propositional Logic.

In Proc. KR-96.

Kautz, H. A., & Selman, B. (1996). Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In Proc. AAAI-96.

Kushmerick, N., Hanks, S., & Weld, D. S. (1995). An algorithm for probabilistic planning.

Artificial Intelligence, 76 (1-2), 239-286.

Levesque, H. J. (1996). What is planning in the presence of sensing?. In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pp. 1139–1146 Menlo Park. AAAI
Press / MIT Press.

McDermott, D. (1987). A critique of pure reason. Computational Intelligence, 3 (3), 151–
237.

Mc Millan, K. (1993). Symbolic Model Checking, Kluwer Academic Publ. Michie, D. (1974).  Machine Intelligence at Edinburgh.  In On Machine Intelligence, pp.

143-155. Edinburgh University Press.

Nilsson, N. (1980). Principles of Artificial Intelligence. Morgan Kaufmann Publishers, Inc.,
Los Altos, CA.

Peot, M. (1998). Decision-Theoretic Planning. Ph.D. thesis, Dept. Engineering-Economic Systems - Stanford University.

Rintanen, J. (1999a).  Constructing conditional plans by a theorem-prover.  Journal of Artificial Intellegence Research, 10, 323-352.