Unification Modulo Associativity and Idempotency Is NP-complete.

Ondrej Klma

Browse the full MFCS paper archive.