@article{Dube1990,
  author = {Thomas W. Dub\'e},
  title = {{The Structure of Polynomial Ideals and Gr\" obner Bases}},
  journal = {SIAM Journal on Computing},
  volume = {19},
  number = {4},
  pages = {750--773},
  year = {1990},
  doi = {10.1137/0219053}
}

@phdthesis{Wiesinger-Widi2015,
  author = {Manuela Wiesinger-Widi},
  title = {{Gr\"obner Bases and Generalized Sylvester Matrices}},
  year = {2015},
  school = {RISC, Johannes Kepler University Linz, Austria},
  url = {http://epub.jku.at/obvulihs/content/titleinfo/776913}
}

@inproceedings{Maletzky2019,
author = {Alexander Maletzky},
title = {{Formalization of Dub\'e's Degree Bounds for Gr\"obner Bases in Isabelle/HOL}},
booktitle = {{Intelligent Computer Mathematics (Proceedings of CICM 2019, Prague, Czech Republic, July 8-12)}},
series = {Lecture Notes in Computer Science},
volume = {11617},
publisher = {Springer},
year = {2019},
editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti-Coen},
note = {to appear; preprint at \url{http://www.risc.jku.at/publications/download/risc_5919/Paper.pdf}}
}

@techreport{Maletzky2019b,
  author = {Alexander Maletzky},
  title = {{Gr\"obner Bases and Macaulay Matrices in Isabelle/HOL}},
  year = {2019},
  institution = {RISC, Johannes Kepler University Linz, Austria},
  length = {14},
  note = {\url{http://www.risc.jku.at/publications/download/risc_5929/Paper.pdf}; Submitted to Formal Aspects of Computing}
}
