Matching Modulo Associativity and Idempotency Is NP-Complete.

Ondrej Klma, Jir Srba

Browse the full MFCS paper archive.