@inproceedings{Faugere2002,
  title = {{A New Efficient Algorithm for Computing Gr\"obner Bases without Reduction to Zero ($F_5$)}},
  author = {Jean-Charles Faug\`ere},
  editor = {Teo Mora},
  booktitle = {{Proceedings of ISSAC'02}},
  publisher = {ACM},
  pages = {61--88},
  year = {2002}
}

@inproceedings{Roune2012,
 author = {Roune, Bjarke Hammersholt and Stillman, Michael},
 title = {{Practical Gr\"obner Basis Computation}},
 booktitle = {{Proceedings of ISSAC'12}},
 year = {2012},
 isbn = {978-1-4503-1269-1},
 pages = {203--210},
 doi = {10.1145/2442829.2442860},
 publisher = {ACM}
}

@inproceedings{Eder2013,
 author = {Eder, Christian and Roune, Bjarke Hammersholt},
 title = {{Signature Rewriting in Gr\"{o}bner Basis Computation}},
 booktitle = {{Proceedings of ISSAC'13}},
 year = {2013},
 isbn = {978-1-4503-2059-7},
 pages = {331--338},
 doi = {10.1145/2465506.2465522},
 publisher = {ACM}
}

@article{Immler2016,
  author  = {Fabian Immler and Alexander Maletzky},
  title   = {{Gr\"obner Bases Theory}},
  journal = {Archive of Formal Proofs},
  year    = {2016},
  note    = {\url{http://isa-afp.org/entries/Groebner_Bases.html}, Formal proof development},
  ISSN    = {2150-914x}
}

@article{Eder2017,
  author = {Christian Eder and Jean-Charles Faug\`ere},
  title = {{A Survey on Signature-Based Algorithms for Computing Gr\"obner Bases}},
  year = {2017},
  journal = {J. Symb. Comput.},
  volume = {80},
  number = {3},
  pages = {719--784},
  doi = {10.1016/j.jsc.2016.07.031}
}
