Andreas Franke, Michael Kohlhase. MBase: Representing mathematical knowledge in a relational data base. Electronic Notes in Theoretical Computer Science, 23(3):451-468, 1999. [doi]
@article{FrankeK99:0,
title = {MBase: Representing mathematical knowledge in a relational data base},
author = {Andreas Franke and Michael Kohlhase},
year = {1999},
url = {http://www.elsevier.com/gej-ng/31/29/23/92/36/show/Products/notes/index.htt#012},
tags = {relational data base, rule-based, data-flow},
researchr = {https://researchr.org/publication/FrankeK99%3A0},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {3},
pages = {451-468},
}