E. Kitzelmann, U. Schmid, M. Mühlpfordt, und F. Wysotzki. Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Volume 2385 von LNCS, Seite 337--354. Springer-Verlag, (2002)
E. Kitzelmann. ECAI 2008, 18th European Conference on Artificial Intelligence, Proceedings, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 781--782. Amsterdam, Netherlands, IOS Press, (2008)
E. Kitzelmann. 18th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Volume 5438 von LNCS, Seite 87--102. Springer-Verlag, (2009)
M. Hofmann, E. Kitzelmann, und U. Schmid. German Conference on Artificial Intelligence (KI'08), Volume 5243 von LNAI, Seite 78--86. Springer-Verlag, (2008)