Parallel Theorem Proving with Connection Graphs.

Rasiah Loganantharaj, Robert A. Mueller

Browse the full CADE paper archive.