Sergio Greco, Cristinel Mateis, Eugenio Spadafora. Unification of Bounded Simple Set Terms in Deductive Databases. In Dino Pedreschi, Carlo Zaniolo, editors, Logic in Databases, International Workshop LID 96, San Miniato, Italy, July 1-2, 1996, Proceedings. Volume 1154 of Lecture Notes in Computer Science, pages 435-453, Springer, 1996.
Abstract is missing.