Grobner-shirshov Bases: Normal Forms, Combinatorial And Decision Problems In Algebra