TY  - RPRT
TI  - Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version)
AU  - Giles Reger
AU  - Martin Suda
AU  - Andrei Voronkov
PY  - 2017
UR  - https://arxiv.org/abs/1704.03391
ID  - 1704.03391
ER  -