Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group
scientific article; zbMATH DE number 3884389
scientific article