Title: Cooperation in Heterogeneous Theorem Prover Networks
Subjects: Automatic theorem proving, Logic programming