1. Bäckström, C., Nebel, B.: Complexity results for SAS + planning. Computational Intelligence 11(4), 625–655 (1995)
2. Coles, A., Fox, M., Halsey, K., Long, D., Smith, A.: Managing concurrency in temporal planning using planner-scheduler interaction. AIJ 173(1), 1–44 (2009)
3. Cushing, W., Kambhampati, S., Mausam, Weld, D.S.: When is temporal planning really temporal? In: Proc. IJCAI 2007, pp. 1852–1859 (2007)
4. Do, M.B., Kambhampati, S.: Sapa: A multi-objective metric temporal planner. JAIR 20, 155–194 (2003)
5. Edelkamp, S.: Taming numbers and duration in the model checking integrated planning system. JAIR 20, 195–238 (2003)