Tirza Hirst, David Harel. Completeness Results for Recursive Data Bases. In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC. pages 244-252, ACM Press, 1993. [doi]
@inproceedings{HirstH93:0,
title = {Completeness Results for Recursive Data Bases},
author = {Tirza Hirst and David Harel},
year = {1993},
doi = {10.1145/153850.153905},
url = {http://doi.acm.org/10.1145/153850.153905},
tags = {completeness, data-flow},
researchr = {https://researchr.org/publication/HirstH93%3A0},
cites = {0},
citedby = {0},
pages = {244-252},
booktitle = {Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC},
publisher = {ACM Press},
isbn = {0-89791-593-3},
}