Xiao Fan Jin

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Mechanical Theorem Proving in Geometries: Basic Principles	978-O-387-825O6-9 (O-387-825O6-1)	1994	Went Sun Wu · Dong Ming Wang