Baumgartner, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Baumgartner, P., Furbach, U., & Yahya, A. (2005). Automated Reasoning, Knowledge Representation and Management. KI - Künstliche Intelligenz, 1, 5-11.