1. A. Aho and J.D. Ullman, “Symp. on Principles of Compiler Design,” Addison-Wesley, 1977.
2. V. Breazu-Tannen, P. Buneman, and S. Naqvi, “Structural Recursion as a Query Language,” Proc. 3rd Intl. Workshop on Database Programming Languages, 1991.
3. A. Dovier and G. Rossi, “Embedding Extensional Finite Sets in CLP,” Proc. Intl. Symp. on Logic Programming, pp. 540–556, MIT Press, 1993.
4. M. Hanus, “The Integration of Functions into Logic Programming: From Theory to Practice,” J. of Logic Programming, (19/20):583–628, 1994.
5. B. Jayaraman, “Implementation of Subset-Equational Programs,” J. of Logic Programming, 12(4):299–324, 1992.