Proving Geometry Theorems with Rewrite Rules. - Shang-Ching Chou; William F. Schelter (J. Autom. Reason., 1986)

An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. - Shang-Ching Chou; William F. Schelter; Jin-Gen Yang (Algorithmica, 1990)