The Complexity of Weak Unification of Bounded Simple Set Terms.

Sergio Greco Cristinel Mateis Eugenio Spadafora The Complexity of Weak Unification of Bounded Simple Set Terms. 224-233 1996 conf/dexa/1996 DEXA db/conf/dexa/dexa96.html#GrecoMS96 http://dx.doi.org/10.1007/BFb0034683