Distributed Theorem Proving by Peers.

Maria Paola Bonacina, William McCune

Browse the full CADE paper archive.