Selected papers that cite this one
- Surajit Chaudhuri and Moshe Y. Vardi. On the equivalence of recursive and nonrecursive Datalog programs. Journal of Computer and System Sciences, 54(1):61-78, February 1997.
- Haim Gaifman, Harry Mairson, Yehoshua Sagiv, and Moshe Y. Vardi. Undecidable optimization problems for database logic programs. Journal of the ACM, 40(3):683-713, July 1993.
- Yannis E. Ioannidis and Eugene Wong. Towards an algebraic theory of recursion. Journal of the ACM, 38(2):329-381, April 1991.
- H. Leung, D. Ranjan, H. J. Hernández, D. Tang, and A. González. A simple proof on the decidability of equivalence between recursive and nonrecursive datalog programs. Information Processing Letters, 55(5):279-282, 15 September 1995.