A Multithreaded Vampire with Shared Persistent Grounding.

Michael Rawson, Giles Reger

Browse the full FMCAD paper archive.