O. Klima and J. Srba, “Matching Modulo Associativity and Idempotency is NP-Complete”, BRICS, vol. 7, no. 13, Jan. 2000.