Klima, O., and J. Srba. “Matching Modulo Associativity and Idempotency Is NP-Complete”. BRICS Report Series, vol. 7, no. 13, Jan. 2000, doi:10.7146/brics.v7i13.20140.