Noncommutative involutive bases. - Gareth Alun Evans (2005)

Complete involutive rewriting systems. - Gareth Alun Evans; Christopher D. Wensley (J. Symb. Comput., 2007)