Raul Monroy The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. 91-100 2000 ASE http://computer.org/proceedings/ase/0710/07100091abs.htm db/conf/kbse/ase2000.html#Monroy00