"Gröbner-Shirshov basis of the Adyan extension of the Novikov group."

Leonid A. Bokut, V. V. Chaynikov (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics