"Cross-Sections for Finitely Presented Monoids with Decidable Word Problems."

Friedrich Otto, Masashi Katsura, Yuji Kobayashi (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics