Testing a Saturation-Based Theorem Prover: Experiences and Challenges.

Giles Reger, Martin Suda, Andrei Voronkov

Browse the full TAP paper archive.