Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings - Gao, Xiao-lu; Gao, Xiao-lu; Wang, Dongming; Wang, Dongming; Yang, Lu; Yang, Lu (Springer Berlin Heidelberg : Imprint: Springer, 1999)