Jianguo Lu Bo Yi An Approach to Analogical Theorem Proving. 285-294 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#LuY92