@Book{reinerthabil, author ={Birgit Reinert}, title ={A Systematic Study of Gr\"obner Basis Methods}, publisher ={Fachbereich Informatik, Univ. Kaiserslautern}, year ={2004}, series ={Informatik-Schriftenreihe}, number ={20}, ISBN ={3936890587}, ISSN ={16102673}, note ={{\url{http://www.ags.uni-sb.de/~cp/p/reinerthabil/welcome.html}}}}