Reinis Cirpons Florent Hivert Assia Mahboubi Guillaume Melquiond James D. Mitchell Finn Smith Certifying the Decidability of the Word Problem in Monoids at Large. 128-142 2026 CPP https://doi.org/10.1145/3779031.3779101 conf/cpp/2026 db/conf/cpp/cpp2026.html#CirponsHMMMS26