Baumgartner, P., Furbach, U., & Yahya, A. (2005). Automated Reasoning, Knowledge Representation and Management. KI - Künstliche Intelligenz, 1, 5-11.