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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.