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