Gerevini, A. & Schubert, L. (2000a). Extending the types of state constraints discovered by DISCOPLAN. *In Proceedings of the* AIPS-00 Workshop on Analysing and Exploiting Domain Knowledge for Efficient Planning. 

Gerevini, A. & Schubert, L. (1998). Inferring state constraints for domain-independent planning. In Proceedings of AAAI-98.

Godefroid, P. & Kabanza, F. (1991). An efficient reactive planner for synthesizing reactive plans. 

In Proceedings of AAAI-91.

Gupta, N. & Nau, D.S. (1992). On the complexity of blocks world planning. *Artificial Intelligence* 56 (2-3), 223-254.

Haslum, P. & Jonsson, P. (2000). Planning with reduced operator sets. In Proceedings of AIPS*2000*.

Hoffmann, J. & Nebel, B. (2001). The FF planning system: Fast plan generation through heuristic search. *Journal of Artificial Intelligence 14*, 253-302.

Hoffmann, J. (2001). Local search topology in planning benchmarks: An empirical analysis. In Proceedings of IJCAI-2001.

Kautz, H. & Selman, B. (1998). BLACKBOX: A new approach to the application of theorem proving to problem solving. In AIPS*-98 Workshop on Planning as Combinatorial Search*.

Kautz, H. & Selman, B. (1996). Pushing the envelope: Planning, propositional logic and stochastic search. *In Proceedings of AAAI-96*.

Kautz, H. & Selman, B. (1992). Planning as satisfiability. *In Proceedings of ECAI-92*.

Koehler, J. (1998). Solving complex planning tasks through extraction of subproblems. In Proceedings of the 4 thIntl. Conf. on Artificial Intelligence Planning Systems (AIPS-98). 

Koehler, J. & Hoffmann, J. (2000). On reasonable and forced goals orderings and their use in an agenda-driven planning algorithm. *Journal of Artificial Intelligence Research, 12*, 339-386.

Korf, R. & Taylor, L. (1996). Finding optimal solutions to the twenty-four puzzle. *In Proceedings* of AAAI-96.

Long, D. & Fox, M. (2000). Automatic synthesis and use of generic types in planning. In Proceedings of the 5 th*Intl. Conf. on AI Planning and Scheduling Systems* (AIPS-00). 

Long, D. & Fox, M. (1999). Efficient implementation of the plan graph in STAN. *Journal of* Artificial Intelligence Research, 10, 87-115.

McAllester, D. & Rosenblitt, D. (1991). Systematic nonlinear planning. *In Proceedings of AAAI91*.

McCluskey, T.L. & Porteous, J.M. (1997). Engineering and compiling planning domain models to promote validity and efficiency. *Artificial Intelligence*, 95, 1-65.