Geometry theorem proving by Gröbner bases: using ideal decompositions. - Shuichi Moritsugu; Chisato Arai (ACM Commun. Comput. Algebra, 2008)