DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. - Peter Jakobi; Andreas Wolf (CSMR, 1998)