@book{12047,
	author = {Chou, Shang-Ching and Gao, Xiao-Shan},
	title = {Machine proofs in geometry},
	publisher = {World Scientific,},
	year = {1994},
	address = {Singapore:}
}