Xiao-Shan Gao Qiang Lin MMP/Geometer - A Software Package for Automated Geometric Reasoning. 44-66 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2930&spage=44 2002 conf/adg/2002 Automated Deduction in Geometry db/conf/adg/adg2002.html#GaoL02