Javier Larrosa Ulises Cortés A Framework for Abductive Rule Formation. 91-100 1995 8 AI Commun. 2 db/journals/aicom/aicom8.html#LarrosaC95