1. Abiteboul, S.: Boundedness is undecidable for datalog programs with a single recursive rule. Information Processing Letters 32, 282–287 (1989)
2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
3. Bancilhon, F., et al.: Magic sets and other strange ways to implement logic programs. In: Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Cambridge, Massachusetts, 24-26 Mar. 1986, pp. 1–16 (1986)
4. Bancilhon, F., Ramakrishnan, R.: An amateur’s introduction to recursive query processing strategies. In: Proceedings of ACM SIGMOD International Conference on Management of Data, Washington, DC, May 1986, pp. 16–52. ACM Press, New York (1986)
5. Chakravarthy, U.S., Grant, J., Minker, J.: Foundations of semantic query optimization for deductive databases. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 243–273. Morgan Kaufmann, San Francisco (1988)