An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. - Antonio Frias Delgado; Jose Antonio Jimenez Millan (JELIA, 2000)