Mechanical Theorem Proving in Tarski’s Geometry

doi 10.1007/978-3-540-77356-6_9