1. Alverson, R., Blank, T., Choi, K., Hwang, S.Y., Salz, A., Soule, L., and Rokicki, T. THOR user's manual: Tutorial and commands. Technical Report CSL-TR-88-348, Computer Systems Laboratory, Stanford University, 1988.
2. Bancilhon, F. Naive evaluation of recursively defined relations. In: Brodie, M.L. and Mylopoulos, J., eds.On Knowledge Base Management Systems, New York: Springer-Verlag, 1986, pp. 165?178.
3. Beeri, C. and Ramakrishnan, R. On the power of magic.Proceedings of the 1987 ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems, San Diego, California, 1987.
4. Chen, W., Kifer, M., and Warren, D.S. HiLog: A first-order semantics of higherorder logic programming constructs.Logic Programming: Proceedings of North American Conference, Cleveland, 1989.
5. Chimenti, D., Gamboa, R., and Krishnamurthy, R. Abstract machine for LDL.Proceedings of the International Conference on Extending Database Technology, Venice, Italy, 1990.