@phdthesis{Xiu2012, author = {Xingqiang Xiu}, title = {Non-commutative Gr{\"o}bner Bases and Applications}, school = {Universit{\"a}t Passau}, year = {2012}, }