On the Automatic Generation of Intermediate Logic Forms for WordNet Glosses | Publicación