Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Hoffmann, J. (2005). The Deterministic Part of IPC-4: An Overview. Journal of Artificial Intelligence Research, 24, 519-579.