Selected papers that cite this one
- David A. Briggs. A correction of the termination conditions of the Henschen-Naqvi technique. Journal of the ACM, 37(4):712-719, October 1990.
- 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.