1. Bancilhon F, Maier D, Sagiv Y, Ullman J. Magic sets and other strange ways to implement logic programs. In: Proceedings 5th ACM SIGACT-SIGMOD symposium on principles of database systems; 1986. p. 1–5.
2. Ceri S, Widom J. Deriving production rules for incremental view maintenance. In: Proceedings 17th international conference on very large data bases; 1991. p. 577–89.
3. Dietrich SW. Extension tables: memo relations in logic programming. In: IEEE 4th symposium on logic programming; 1987. p. 264–72.
4. Dietrich SW, Fan C. On the completeness of naive memoing in prolog. New Gener Comput. 1997;15:141–62.
5. Dong G, Su J. Incremental maintenance of recursive views using relational calculus/SQL. ACM SIGMOD Rec. 2000;29(1):44–51.