Cooperating Proof Attempts.

Giles Reger, Dmitry Tishkovsky, Andrei Voronkov

Browse the full CADE paper archive.