Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Trueg, S., Hoffmann, J., & Nebel, B. (2004). Applying Automatic Planning Systems to Airport Ground Traffic Control - A Feasibility Study. In KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004 (pp. 183-197). Berlin, Germany: Springer.