Shang-Ching Chou Xiao-Shan Gao Automated Reasoning in Geometry. 707-749 2001 books/el/RobinsonV01 Handbook of Automated Reasoning db/books/collections/RobinsonV01.html#ChouG01