Towards Abductive Reasoning in First-order Logic. - A. Liliana Reyes-Cabello; Atocha Aliseda-Llera; Ángel Nepomuceno-Fernández (Log. J. IGPL, 2006)