System description: The MathWeb software bus for distributed mathmatical reasoning (2002)

by M Kohlhase, J Zimmer
Venue:in Proceedings of the Conference on Automated Deduction (CADE