An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms | Publicación