Chou, S., Gao, X., & Zhang, J. (1994). Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific.
Chicago Style (17th ed.) CitationChou, Shang-Ching, Xiao-Shan Gao, and Jingzhong Zhang. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. Singapore u.a: World Scientific, 1994.
MLA (9th ed.) CitationChou, Shang-Ching, et al. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. World Scientific, 1994.
Warning: These citations may not always be 100% accurate.