Rajiv Bagai Vasant Shanbhogue Jan M. Zytkow Shang-Ching Chou Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. 354-358 1993 conf/icci/1993 ICCI db/conf/icci/icci1993.html#BagaiSZC93