Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids
scientific article; zbMATH DE number 1236263