The Challenges of Evaluating a New Feature in Vampire.

Giles Reger, Martin Suda, Andrei Voronkov

Browse the full CADE paper archive.