Henryk Rybinski. On First-Order-Logic Databases. ACM Trans. Database Syst., 12(3):325-349, 1987. [doi]
@article{Rybinski87,
title = {On First-Order-Logic Databases},
author = {Henryk Rybinski},
year = {1987},
doi = {10.1145/27629.27630},
url = {http://doi.acm.org/10.1145/27629.27630},
tags = {logic},
researchr = {https://researchr.org/publication/Rybinski87},
cites = {0},
citedby = {0},
journal = {ACM Trans. Database Syst.},
volume = {12},
number = {3},
pages = {325-349},
}