1. Karsten Homann, Symbolisches lösung mathematischer probleme durch kooperation algorithmischer und logischer systeme, PhD Thesis, Fakultät für Informatik der Universität Karlsruhe, 1996.
  2. Karsten Homann and Jacques Calmet, Combining theorem proving and symbolic mathematical computing, Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, Lecture Notes in Comput. Sci., vol. 958, Springer, London, 1994, pp. 18–29.