@Article{CGZ00, Author = "Chou, S. and Gao, X. and Zhang, J.", Year = "2000", Title = "{A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering}", Journal = "Journal of Automated Reasoning", Volume = "25", Number = "3", Pages = "219-246", Comment = "TPTPRef" }