First-Order Theorem Proving and Vampire.

Laura Kovcs, Andrei Voronkov

Browse the full CAV paper archive.