@book(adams,
 author       = {William W. Adams and Philippe Loustaunau},
 year         = {1994},
 title        = {An Introduction to Gr\IeC{\"o}bner Bases},
 volume       = {3},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/gsm/003},
)
@article(APEL20051131,
 author       = {Joachim Apel and Ralf Hemmecke},
 year         = {2005},
 title        = {Detecting unnecessary reductions in an involutive basis computation},
 journal      = {Journal of Symbolic Computation},
 volume       = {40},
 number       = {4},
 pages        = {1131 -- 1149},
 doi          = {10.1016/j.jsc.2004.04.004},
 note         = {Applications of Computer Algebra (ACA) 2001 and 2002},
)
@book(becker1993grobner,
 author       = {T. Becker and V. Weispfenning and H. Kredel},
 year         = {1993},
 title        = {Gr{\"o}bner bases: a computational approach to commutative algebra},
 series       = {Graduate texts in mathematics},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4612-0913-3},
)
@inproceedings(Buchberger1979,
 author       = {B. Buchberger},
 year         = {1979},
 title        = {A criterion for detecting unnecessary reductions in the construction of Gr{\"o}bner-bases},
 editor       = {Edward W. Ng},
 booktitle    = {Symbolic and Algebraic Computation},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {3--21},
 doi          = {10.1007/3-540-09519-5_52},
)
@inbook(buchberger1985,
 author       = {B. Buchberger},
 year         = {1985},
 title        = {Multidimensional Systems Theory -- Progress, Directions and Open Problems in Multidimensional Systems},
 chapter      = {Gr\IeC{\"o}bner Bases: An Algorithmic Method in Polynomial Ideal Theory},
 pages        = {184--232},
 publisher    = {Reidel Publishing Company},
 doi          = {10.1007/978-94-017-0275-1_4},
)
@book(buchberger1998,
 author       = {B. Buchberger},
 year         = {1998},
 title        = {Introduction to Gr\"{o}bner Bases},
 series       = {London Mathematical Society Lectures Notes Series 251},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511565847},
)
@article(theorists,
 author       = {Bruno Buchberger},
 year         = {2001},
 title        = {Gr\IeC{\"o}bner Bases: A Short Introduction for Systems Theorists},
 journal      = {Research Institute for Symbolic Computation},
 volume       = {2178},
 doi          = {10.1007/3-540-45654-6_1},
)
@article(buchberger1965algorithm,
 author       = {Bruno Buchberger},
 year         = {2006},
 title        = {Bruno Buchberger\IeC{\textquoteright}s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal},
 journal      = {Journal of Symbolic Computation},
 volume       = {41},
 number       = {3},
 pages        = {475 -- 511},
 doi          = {10.1016/j.jsc.2005.09.007},
 note         = {Logic, Mathematics and Computer Science: Interactions in honor of Bruno Buchberger (60th birthday)},
)
@article(BuchKauers,
 author       = {Bruno Buchberger and Manuel Kauers},
 year         = {2010},
 title        = {Gr\"obner Basis},
 journal      = {Scholarpedia},
 volume       = {5},
 number       = {10},
 doi          = {10.4249/scholarpedia.7763},
)
@book(cox,
 author       = {Donal O'Shea David A. Cox, John Little},
 year         = {2015},
 title        = {Ideals, Varieties, and Algorithms},
 edition      = {4th},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-16721-3},
)
@article(FAUGEREF4,
 author       = {Jean-Charles Faug\`{e}re},
 year         = {1999},
 title        = {A new efficient algorithm for computing {G}r\IeC{\"o}bner bases ({F}4)},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {139},
 number       = {1},
 pages        = {61 -- 88},
 doi          = {10.1016/S0022-4049(99)00005-5},
)
@inproceedings(FaugereF5,
 author       = {Jean Charles Faug\`{e}re},
 year         = {2002},
 title        = {A New Efficient Algorithm for Computing {G}r\"{o}bner Bases Without Reduction to Zero ({F}5)},
 booktitle    = {Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation},
 series       = {ISSAC '02},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {75--83},
 doi          = {10.1145/780506.780516},
)
@article(GERDT1998519,
 author       = {Vladimir P. Gerdt and Yuri A. Blinkov},
 year         = {1998},
 title        = {Involutive bases of polynomial ideals},
 journal      = {Mathematics and Computers in Simulation},
 volume       = {45},
 number       = {5},
 pages        = {519 -- 541},
 doi          = {10.1016/S0378-4754(97)00127-4},
)
@inproceedings(Giovini1991,
 author       = {Alessandro Giovini and Teo Mora and Gianfranco Niesi and Lorenzo Robbiano and Carlo Traverso},
 year         = {1991},
 title        = {"{O}ne {S}ugar {C}ube, {P}lease"; or Selection Strategies in the {B}uchberger Algorithm},
 booktitle    = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation},
 series       = {ISSAC '91},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {49--54},
 doi          = {10.1145/120694.120701},
)
@article(kredel,
 author       = {Heinz Kredel},
 year         = {2010},
 title        = {Parallel and distributed {G}r\IeC{\"o}bner bases computation in {JAS}},
 journal      = {CoRR},
 volume       = {abs/1008.0011},
)
@article(MAYR1982,
 author       = {Ernst W Mayr and Albert R Meyer},
 year         = {1982},
 title        = {The complexity of the word problems for commutative semigroups and polynomial ideals},
 journal      = {Advances in Mathematics},
 volume       = {46},
 number       = {3},
 pages        = {305 -- 329},
 doi          = {10.1016/0001-8708(82)90048-2},
)
@book(mora2003solving,
 author       = {T. Mora and G.C. Rota and B. Doran},
 year         = {2003},
 title        = {Solving Polynomial Equation Systems II: Macaulay's Paradigm and Gr{\"o}bner Technology},
 series       = {Encyclopedia of Mathematics and its Applications},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107340954},
)