Natraj Arni, Sergio Greco, Domenico Saccà. Set-Term Matching in Logic Programming. In Joachim Biskup, Richard Hull, editors, Database Theory - ICDT 92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings. Volume 646 of Lecture Notes in Computer Science, pages 436-449, Springer, 1992. [doi]
Abstract is missing.