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

@inproceedings{Chou93,
   author    = {Chou, Shang-Ching and Gao, Xiao-Shan and Zhang, Jing-Zhong},
   editor    = {Vardi, Moshe},
   title     = {Automated production of traditional proofs for constructive
       geometry theorems},
   booktitle = {Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science {LICS}},
   pages     = {48--56},
   year      = {1993},
   month     = {June},
   publisher = {IEEE Computer Society Press}
}

