@PREAMBLE{ {\newcommand{\noopsort}[1]{} \newcommand{\singleletter}[1]{#1} } }
@STRING{ ADW = {Addison-Wesley} }
@STRING{ AMS = {American Mathematical Society} }


@TechReport{Chou1994a,   title  = {A Collection of 110 Geometry Theorems and Their Machine Produced Proofs Using Full-Angles},   Author                   = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},   Institution              = {Department of Computer Science, The Wichita State University},   Year                     = {1994},   Month                    = {November},   Number                   = {TR-94-4}}

