@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}
}

@article{Chou95a,
   author    = {Chou, Shang-Ching and Gao, Xiao-Shan and Zhang, Jing-Zhong},
   title     = {Automated Production of Traditional Proofs in Solid Geometry},
   journal   = {Journal of Automated Reasoning},
   pages     = {257--291},
   year      = {1995},
   volume    = {14}
}

@article{Chou96a,
   author    = {Chou, Shang-Ching and Gao, Xiao-Shan and Zhang, Jing-Zhong},
   title     = {Automated Generation of Readable Proofs with Geometric Invariants, {II}. Theorem Proving With Full-Angles},
   journal   = {Journal of Automated Reasoning},
   pages     = {349-370},
   year      = {1996},
   volume    = {17}
}

@ARTICLE{Coelho86,
  author = {Coelho, H. and Pereira, L. M.},
  title = {Automated reasoning in geometry theorem proving with {P}rolog},
  journal = {Journal of Automated Reasoning},
  year = {1986},
  volume = {2},
  pages = {329--390},
  number = {4},
}

@TECHREPORT{Goldstein73,
  author = {Goldstein, Ira},
  title = {Elementary {G}eometry {T}heorem {P}roving},
  institution = {MIT},
  year = {1973},
  type = {AI Lab memo},
  number = {280},
  month = {April}
}

