Lila Rao, Han Reichgelt. STIRDAT: A system tightly integrating relational databases and a theorem prover. Data \& Knowledge Engineering, 34(1):1-20, 2000. [doi]
@article{RaoR00:0,
title = {STIRDAT: A system tightly integrating relational databases and a theorem prover},
author = {Lila Rao and Han Reichgelt},
year = {2000},
doi = {10.1016/S0169-023X(00)00005-7},
url = {http://dx.doi.org/10.1016/S0169-023X(00)00005-7},
tags = {relational database},
researchr = {https://researchr.org/publication/RaoR00%3A0},
cites = {0},
citedby = {0},
journal = {Data \& Knowledge Engineering},
volume = {34},
number = {1},
pages = {1-20},
}