Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli. Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC. pages 109-122, ACM Press, 1993. [doi]
@inproceedings{LevyMSS93,
title = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions},
author = {Alon Y. Levy and Inderpal Singh Mumick and Yehoshua Sagiv and Oded Shmueli},
year = {1993},
doi = {10.1145/153850.153860},
url = {http://doi.acm.org/10.1145/153850.153860},
tags = {Datalog},
researchr = {https://researchr.org/publication/LevyMSS93},
cites = {0},
citedby = {0},
pages = {109-122},
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},
}