Word problem for Novikov's and Boone's groups via Gröbner-Shirshov bases.
By using recursive Gröbner-Shirshov bases, we construct normal form theorems for Novikov's and Boone's groups, respectively.
scientific article; zbMATH DE number 5629634