Michael Kohlhase, Andreas Franke. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal of Symbolic Computation, 32(4):365-402, 2001.
@article{KohlhaseF01,
title = {MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems},
author = {Michael Kohlhase and Andreas Franke},
year = {2001},
tags = {context-aware},
researchr = {https://researchr.org/publication/KohlhaseF01},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {32},
number = {4},
pages = {365-402},
}