1. Yuliy Baryshnikov, Stephen Melczer, Robin Pemantle, and Armin Straub. Diagonal asymptotics for symmetric rational functions via ACSV. In 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, volume 110 of LIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 12, 15. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2018.
2. Saugata Basu, Richard Pollack, and Marie-Françoise Roy. Algorithms in real algebraic geometry, volume 10 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2003.
3. David Bayer and Michael Stillman. A theorem on refining division orders by the reverse lexicographic order. Duke Math. J., 55(2):321–328, 1987.
4. Thomas Becker and Volker Weispfenning. Gröbner bases, volume 141 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1993.
5. B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, University of Innsbruck, 1965.