Mechanical theorem proving in geometries basic principles - Wu, Wen-tsun; Jin, Xiaofan, tr. Wang, Dongming, tr. (New York Springer-Verlag, 1994)
Translated from Chinese by Xiaofan Jin and Dongming Wang