Surajit Chaudhuri, Moshe Y. Vardi
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs
PODS, 1994.
@inproceedings{PODS-1994-ChaudhuriV,
author = "Surajit Chaudhuri and Moshe Y. Vardi",
booktitle = "{Proceedings of the 13th Symposium on Principles of Database Systems}",
doi = "10.1145/182591.182604",
isbn = "0-89791-642-5",
pages = "107--116",
publisher = "{ACM Press}",
title = "{On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs}",
year = 1994,
}