Natraj Arni;Sergio Greco;Domenico Saccà
-;-;-
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Set unification
Theory and Practice of Logic Programming