Fikes, R., & Nilsson, N. (1971). Strips: a new approach to the **application of theorem**
proving to problem solving. Artificial Intelligence, 2 **(3-4), 189–208.**
Gerevini, A., & Serina, I. (2002). LPG: A planner based on local search for planning graphs.

In Proceedings of AIPS-02**. AAAI Press.**
Godefroid, P., & Kabanza, F. (1991). An efficient reactive planner for synthesizing reactive plans. In Proceedings of AAAI-91**, Vol. 2, pp. 640–645. AAAI Press/MIT Press.**
Haslum, P., & Geffner, H. (2000). Admissible heuristics for optimal planning. In **Proceedings**
of AIPS-00**, pp. 140–149.**
Haslum, P., & Geffner, H. (2001). Heuristic planning with time and resources. In **Proceedings**
of ECP-01**. Springer.**
Huang, Y., Selman, B., & Kautz, H. (1999). Control knowledge **in planning: benefits and**
tradeoffs. In Proceedings of AAAI/IAAI-99**, pp. 511–517.**
Kabanza, F. (1997). Planning and verifying reactive plans (position paper). In **Proceedings**
of AAAI-97 Workshop on Immobots: Theories of Action, Planning and Control.

Kambhampati, S., & Sanchez, R. (2000). Distance based goal ordering heuristics for graphplan. In Proceedings of AIPS-00**, pp. 315–322.**
Kautz, H., & Selman, B. (1996). Pushing the envelope: planning, propositional logic, and stochastic search. In Proceedings of AAAI-96**, pp. 1194–1201. AAAI Press.**
Kautz, H., & Selman, B. (1999). Blackbox: unifying sat-based **and graph-based planning.**
In **Proceedings of IJCAI-99**.

Koehler, J. (1999). RIFO within IPP. Tech. rep. 126, University of Freiburg.

Korf, R. (1993). Linear-space best-first search. Artificial Intelligence, 62**, 41–78.** Long, D., & Fox, M. (1999). Efficient implementation of the plan graph in STAN. **Journal**
of Artificial Intelligence Research, 10**, 87–115.**
Long, D., & Fox, M. (2002). The 3rd international planning competition: results and analysis. **To appear in JAIR**.

McDermott, D. (1999). Using regression-match graphs to control search in planning. Artificial Intelligence, 109 **(1-2), 111–159.**
McDermott, D. (2000). The 1998 AI planning systems competition. AI Magazine, 21 **(2),**
35–55.

Nguyen, X., & Kambhampati, S. (2000). Extracting effective and admissible heuristics from the planning graph. In Proceedings of AAAI/IAAI-00**, pp. 798–805.**
Nguyen, X., Kambhampati, S., & Sanchez, R. (2002). Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search. **Artificial Intelligence**,
135 **(1-2), 73–123.**