Manuel Vilares Ferro, Miguel A. Alonso, David Cabrero. An Opterational Model for Parsing Definite Clause Grammars with Infinite Terms. In Alain Lecomte, François Lamarche, Guy Perrier, editors, Logical Aspects of Computational Linguistics, Second International Conference, LACL 97, Nancy, France, September 22-24, 1997, Selected Papers. Volume 1582 of Lecture Notes in Computer Science, pages 212-230, Springer, 1997. [doi]
Abstract is missing.