Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Hoffmann, J. (2005). In Defense of PDDL Axioms. Artificial Intelligence, 168, 38-69.