Klima, O.; Srba, J. Matching Modulo Associativity and Idempotency Is NP-Complete. BRICS 2000, 7.