  
  
  [1XReferences[101X
  
  [[20XAGK97[120X]  [16XAmrhein,  B.,  Gloor,  O. and Küchlin, W.[116X, [17X On the Walk [117X, [18X Theoret.
  Comput. Sci. [118X, [19X187 (1-2)[119X (1997), 179-202.
  
  [[20XBer78[120X] [16XBergman, G. M.[116X, [17X The Diamond Lemma for Ring Theory [117X, [18X Adv. in Math.[118X,
  [19X29 (2)[119X (1978), 178-218.
  
  [[20XBuc98[120X]   [16XBuchberger,   B.[116X  ([1m[31mBuchberger,  B.  and  Winkler,  F.[15X,  Eds.),  [17XAn
  Algorithmic   Criterion  for  the  Solvability  of  a  System  of  Algebraic
  Equations.  Translation  of  Ph.D. thesis by M. Abramson and R. Lumbert [117X, in
  Gröbner  Bases  and  Applications,  Cambridge University Press, Proc. London
  Math. Soc., [19X251[119X (1998), 535-545.
  
  [[20XCK24[120X]  [16XCohen,  A.  and  Knopper,  J.[116X,  [17XGBNP  -  computing  Gröbner bases of
  noncommutative  polynomials  (Version  1.1.0)[117X, Discrete Algebra and Geometry
  (DAM)  group  at  the  Department  of  Mathematics  and  Computer Science of
  Eindhoven   University   of   Technology   (2001-2024),   (   GAP   package,
  https://github.com/gap-packages/gbnp ).
  
  [[20XEva70[120X] [16XEvans, G. A.[116X ([1m[31mLeech, J.[15X, Ed.), [17X Noncommutative Involutive Bases [117X, in
  Proc.  Int.  Conf. Applications of Computer Algebra , Pergamon Press (1970),
  263-297.
  
  [[20XEva05[120X]  [16XEvans,  G.  A.[116X,  [17XNoncommutative  Involutive  Bases[117X,  Ph.D.  thesis,
  University of Wales, Bangor (2005), ( https://arxiv.org/pdf/math/0602140.pdf
  ).
  
  [[20XEW07[120X]  [16XEvans,  G.  A.  and  Wensley,  C. D.[116X, [17X Complete involutive rewriting
  systems [117X, [18X Symbolic Comput.[118X, [19X42[119X (2007), 1034-1051.
  
  [[20XGH23[120X]  [16XGutsche,  S. and Horn, M.[116X, [17XAutoDoc - Generate documentation from GAP
  source    code    (Version    2023.06.19)[117X    (2023),    (    GAP    package,
  https://github.com/gap-packages/AutoDoc ).
  
  [[20XHor19[120X]  [16XHorn,  M.[116X,  [17XA GitHub Pages generator for GAP packages (Version 0.3)[117X
  (2019), ( GAP package, https://github.com/gap-system/GitHubPagesForGAP/ ).
  
  [[20XKB04[120X]  [16XKnuth,  D.  E.  and  Bendix,  P.  B.[116X  ([1m[31mLeech, J.[15X, Ed.), [17X Simple word
  problems  in  universal  algebras  [117X,  in  Computational Problems in Abstract
  Algebra , Pergamon Press (2004), 263-297.
  
  [[20XLN17[120X]  [16XLübeck,  F.  and  Neunhöffer,  M.[116X, [17XGAPDoc (Version 1.6)[117X, RWTH Aachen
  (2017),                   (                   GAP                   package,
  https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html ).
  
  [[20XLR97[120X]  [16XLambe,  L.  A.  and  Radford,  D.  E.[116X,  [17XIntroduction  to the Quantum
  Yang-Baxter  Equation  and  Quantum  Groups:  An  Algebraic Approach[117X, Kluwer
  Academic, Mathematics and its Applications, [19X423[119X (1997).
  
  [[20XMor86[120X]  [16XMora,  T.[116X  ([1m[31mCalmet,  J.[15X,  Ed.),  [17XGröbner  Bases for non-commutative
  polynomial  rings [117X, in AAECC-3: Proc. 3rd Int. Conf. on Algebraic Algorithms
  and Error-Correcting Codes (Grenoble, France, July 15-19, 1985) , Springer ,
  Lecture Notes in Comput. Sci. , [19X223[119X (1986), 353-362.
  
  [[20XZB96[120X]  [16XZharkov,  A.  Y.  and  Blinkov,  Y.  A.[116X,  [17X  Involution  approach  to
  investigating  polynomial  systems  [117X,  [18X  Math. Comput. Simulation [118X, [19X(42) 4-6[119X
  (1996), 323-332.
  
  
  
  [32X
