Rajiv Bagai Vasant Shanbhogue Jan M. Zytkow Shang-Ching Chou Automatic Theorem Generation in Plane Geometry. 415-424 1993 conf/ismis/1993 ISMIS db/conf/ismis/ismis93.html#BagaiSZC93 http://dx.doi.org/10.1007/3-540-56804-2_39