Peter Jakobi, Andreas Wolf. DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. In 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy. pages 185-188, IEEE Computer Society, 1998. [doi]
Abstract is missing.