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]
@inproceedings{JakobiW98,
title = {DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data},
author = {Peter Jakobi and Andreas Wolf},
year = {1998},
url = {http://csdl.computer.org/comp/proceedings/csmr/1998/8421/00/84210185abs.htm},
tags = {maintenance, database},
researchr = {https://researchr.org/publication/JakobiW98},
cites = {0},
citedby = {0},
pages = {185-188},
booktitle = {2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy},
publisher = {IEEE Computer Society},
isbn = {0-8186-8421-6},
}