Raul Monroy Alan Bundy Andrew Ireland Proof Plans for the Correction of False Conjectures. 54-68 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#MonroyBI94 http://dx.doi.org/10.1007/3-540-58216-9_29