Chou, S.C. <br/><br/>
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems 

 - Singapore  World Scientific  1994 
 - xvii, 461p. 
 - Series on Applied Mathematics Vol-6 .
<br/><br/><label>ISBN: </label>978-981-02-1584-3