Chou, S. (1995). Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific Pub. Co.
Chicago Style (17th ed.) CitationChou, Shang-Ching. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. Singapore: World Scientific Pub. Co, 1995.
MLA (9th ed.) CitationChou, Shang-Ching. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. World Scientific Pub. Co, 1995.
Warning: These citations may not always be 100% accurate.