E. Kitzelmann, U. Schmid, M. Mühlpfordt, und F. Wysotzki. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Volume 2385 von LNCS, Seite 337--354. Springer-Verlag, (2002)