- Andreas Franke and Michael Kohlhase, System description: mathweb, an agent-based communication layer for distributed automated theorem proving, Automated Deduction - Cade-16: Proceedings of the 16th International Conference on Automated Deduction, Trento, Italy, July 1999, Lecture Notes in Computer Science, vol. 1632, Springer, Berlin, Heidelberg, 1999, pp. 243–258.