Cimatti, A., & Roveri, M. (2000).  Forward Conformant Planning via Symbolic Model Checking. In Proceeding of the AIPS2k Workshop on Model-Theoretic Approaches to Planning Breckenridge, Colorado.

Cimatti, A., Roveri, M., & Traverso, P. (1998a). Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI-98) Madison, Wisconsin. AAAI-Press.

Also IRST-Technical Report 9801-10, Trento, Italy.

Cimatti, A., Roveri, M., & Traverso, P. (1998b).  Strong Planning in Non-Deterministic Domains via Model Checking. In Proceeding of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98) Carnegie Mellon University, Pittsburgh, USA. AAAI-Press.

Clarke, E. M., & Wing, J. M. (1996). Formal methods: State of the art and future directions.

ACM Computing Surveys, 28 (4), 626–643.

Clarke, E., Emerson, E., & Sistla, A. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8 (2), 244–263.

Coudert, O., Madre, J. C., & Touati, H. (1993). TiGeR Version 1.0 User Guide. Digital Paris Research Lab.

Daniele, M., Traverso, P., & Vardi, M. Y. (1999). Strong Cyclic Planning Revisited. In Biundo, S. (Ed.), Proceeding of the Fifth European Conference on Planning, Lecture Notes in Artificial Intelligence Durham, United Kingdom. Springer-Verlag.

De Giacomo, G., & Vardi, M. (1999). Automata-Theoretic Approach to Planning for Temporally Extended Goals. In Biundo, S. (Ed.), Proceeding of the Fifth European Conference on Planning, Lecture Notes in Artificial Intelligence Durham, United Kingdom.

Springer-Verlag.

Ferraris, P., & Giunchiglia, E. (2000). Planning as satisfiability in nondeterministic domains. In Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI'00) Austin, Texas, AAAI Press.

Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Weld, D., & Wilkins, D. (1998).  PDDL  - The Planning Domain Definition Language.  Tech. rep.  CVC
TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.

Giunchiglia, E. (1996). Determining Ramifications in the Situation Calculus. In In Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96) Cambridge, Massachusetts. Morgan Kaufmann Publishers.

Giunchiglia, E., Kartha, G. N., & Lifschitz, V. (1997). Representing action: Indeterminacy and ramifications. Artificial Intelligence, 95 (2), 409–438.