"Distributed Theorem Proving by Peers."

Maria Paola Bonacina, William McCune (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics