Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Hoffmann, J., & Brafman, R. I. (2006). Conformant planning via heuristic forward search: A new approach. Artificial Intelligence, 170, 507-541.