1. B. Buchberger. Groebner-Bases: An Algorithmic Method in Polynomial Ideal Theory. In Multidimensional Systems Theory - Progress, Directions and Open Problems in Multidimensional Systems, chapter 6, pages 184–232. Copyright: Reidel Publishing Company, Dordrecht - Boston - Lancaster, The Netherlands, 1985.
2. B. Buchberger. Introduction to Gröebner Bases, pages 3–31. Cambridge University Press, 1998.
3. G. E. Collins. Quantifier elimination by cylindrical algebraic decomposition. In H. Brakhage, editor, Automata theory and formal languages, volume 33 of Lecture Notes in Computer Science, pages 134–183, 1996.
4. H. Huzita. Axiomatic development of origami geometry. In H. Huzita, editor, Proceedings of the First International Meeting of Origami Science and Technology, pages 143–158, Ferrara, Italy, December 1989.
5. J. Justin. Résolution par le pliage de l’équation du 3e degré et applications géométriques. L’Ouvert, (42):9–19, 1986.