Refutational Proofs of Geometry Theorems via Characteristic Set Computation. - Deepak Kapur; H. K. Wan (ISSAC, 1990)