Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Hoffmann, J., Sabharwal, A., & Domshlak, C. (2006). Friends or Foes? An AI Planning Perspective on Abstraction and Search. In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006) (pp. 294-303). Menlo Park, USA: AAAI.