Araújo, João, Michael Kinyon, Janusz Konieczny, and António Malheiro. "Decidability and independence of conjugacy problems in finitely presented monoids." Theoret. Comput. Sci.. 731 (2018): 88-98.