On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups (1997)

by M Hermann, P Kolaitis
Venue:In Principles and Practice of Constraint Programming - CP97, Third International Conference