On the complexity of unification and disunification in commutative idempotent semigroups

Principles and Practice of Constraint Programming-CP97 - Lecture Notes in Computer Science ◽

10.1007/bfb0017446 ◽

1997 ◽

pp. 282-296

Author(s):

Miki Hermann ◽

Phokion G. Kolaitis

Download Full-text