An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus | Publicación