A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering Shang-Ching ChouXiao-Shan GaoJing-Zhong Zhang OriginalPaper Pages: 219 - 246