Distributed theorem proving by Peers (1994)

by M P Bonacina, W W McCune
Venue:Automated Deduction — CADE-12