1. Abanades, M., Botana, F., Montes, A., Recio, T.: An Algebraic Taxonomy for Locus Computation in Dynamic Geometry. Computer Aided Design (to appear, 2014)
2. Kapur, D., Sun, Y., Wang, D.: A new algorithm for computing comprehensive Gröbner systems. In: Proceedings of ISSAC 2010, pp. 29–36. ACM Press, New York (2010)
3. Botana, F.: Locus Prototype (2012),
http://webs.uvigo.es/fbotana/LocusGC/
4. Montes, A.: Using Kapur-Sun-Wang algorithm for the Gröbner Cover. In: Sendra, R., Villarino, C. (eds.) Proceedings of EACA 2012, pp. 135–138. Universidad de Alcalá de Henares (2012)
5. Montes, A., Wibmer, M.: Gröbner bases for polynomial systems with parameters. Jour. Symb. Comp. 45, 1391–1425 (2010)