James Crawford, Matthew Ginsberg, Eugene Luks, and Amitabha Roy. Symmetry-breaking predicates for search problems. KR, 96:148–159, 1996.

Lionel Ducos. Optimizations of the subresultant algorithm. Journal of Pure and Applied Algebra, 145(2):149 – 163, 2000.

Keith O. Geddes, Stephen R. Czapor, and George Labahn. Algorithms for Computer Algebra. Kluwer Academic Publisher, 1992.

ISO. ISO/IEC 14882:2011 Information technology — Programming languages — C++. International Organization for Standardization, February 2012.

Mathic library for groebner basis computations. https://github.com/broune/mathic.