A Refutational Approach to Geometry Theorem Proving (1989)

by D Kapur
Venue:in Geometric Reasoning