Cooperation in heterogeneous theorem prover networks - Fuchs, Dirk (Akad. Verl.-Ges. Aka, 2000)
Zugl.: Kaiserslautern, Univ., Diss., 2000.