O. Klima og J. Srba, “Matching Modulo Associativity and Idempotency is NP-Complete”, BRICS, bd. 7, nr. 13, jan. 2000.