Klima, Ondrej, og Jirí Srba. “Matching Modulo Associativity and Idempotency Is NP-Complete”. BRICS Report Series, bd. 7, nr. 13, januar 2000, doi:10.7146/brics.v7i13.20140.