Unification of Bounded Simple Set Terms in Deductive Databases

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.

Authors

Sergio Greco

This author has not been identified. Look up 'Sergio Greco' in Google

Cristinel Mateis

This author has not been identified. Look up 'Cristinel Mateis' in Google

Eugenio Spadafora

This author has not been identified. Look up 'Eugenio Spadafora' in Google