The Complexity of Weak Unification of Bounded Simple Set Terms.

Sergio Greco, Cristinel Mateis, Eugenio Spadafora

Browse the full DEXA paper archive.