Shang-Ching Chou William F. Schelter Proving Geometry Theorems with Rewrite Rules. 253-273 1986 2 J. Autom. Reasoning 3 db/journals/jar/jar2.html#ChouS86