Klima, Ondrej, and Jirí Srba. “Matching Modulo Associativity and Idempotency Is NP-Complete”. BRICS Report Series 7, no. 13 (January 13, 2000). Accessed April 23, 2024. https://tidsskrift.dk/brics/article/view/20140.