M. Ring, F. Otto, M. Becker, T. Niebler, D. Landes, and A. Hotho. Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, volume 9284 of Lecture Notes in Computer Science, page 251-266. Springer International Publishing, (2015)
E. Kitzelmann, U. Schmid, M. Mühlpfordt, and F. Wysotzki. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)