System description: The mathweb software bus for distributed mathematical reasoning (2002)

by J Zimmer, M Kohlhase
Venue:Proceedings of the 18th International Conference on Automated Deduction, number 2392 in Lecture Notes in Artificial Intelligence