Journal of the ACM Bibliography
Jeffrey F. Naughton.
Minimizing function-free recursive inference rules. Journal of the
ACM, 36(1):69-91, January 1989.
[BibTeX entry]
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.
Shortcuts: