Mechanical Geometry Theorem Proving
Published: 1987
ISBN-13: 9789400940376