1. F. Bancilhon, D. Maier, Y. Sagiv & J.D. Ullman, “Magic sets and other strange ways to implement logic programsℍ, proceedings 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems (PODS), pp. 1–15.
2. C. Beeri & R. Ramakrishnan, “On the power of magicℍ, proceedings 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), San Diego, CA, March 1987, pp. 269–283.
3. F. Bry, “Advanced fixpoint procedures for querying databases: A rule-based approachℍ, Internal report No. IR-KB-61, ECRC, March 1989.
4. W. Bibel, F, Kurfess, K. Aspetsberger, P. Hintenaus & J. Schumann. “Parallel Inference Machinesℍ, Future Parallel Computers, Edited by P. Treleaven & M. Vanneschi, LNCS. No. 272, Springer-Verlag, 1987, pp. 185–226.
5. C.L. Chang & J.R. Slagle. “Using Rewriting Rules for Connection Graphs to Prove Theoremsℍ, Journal of AI 12 (1979), pp. 159–180.