1. Kapur D, Sun Y, and Wang D, A new algorithm for computing comprehensive Gröbner systems, Proc. ISSAC 2010, ACM Press, 2010, 25–28.
2. Montes A and Recio T, Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems, Eds. by Botana F and Recio T, ADG 2006, Lecture Notes in Artificial Intelligence 4869, Berlin Heidelberg: Springer-Verlag, Berlin Heidelberg, 2007, 113–138.
3. Nabeshima K, A speed-up of the algorithm for computing comprehensive Gröbner systems, Proc. ISSAC 2007, 2007, 299–306.
4. Suzuki A and Sato Y, An alternative approach to comprehensive Gröbner bases, Proc. ISSAC 2002, 2002, 255–261.
5. Suzuki A and Sato Y, A simple algorithm to compute comprehensive Gröbner bases, Proc. ISSAC 2006, 2006, 326–331.