Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli. Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. In Workshop on Deductive Databases, JICSLP. pages 1-10, 1992.
@inproceedings{LevyMSS92,
title = {Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions},
author = {Alon Y. Levy and Inderpal Singh Mumick and Yehoshua Sagiv and Oded Shmueli},
year = {1992},
tags = {Datalog},
researchr = {https://researchr.org/publication/LevyMSS92},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {Workshop on Deductive Databases, JICSLP},
}