@inproceedings{DBLP:conf/lacl/FerroAC97,
author = {Manuel Vilares Ferro and
Miguel A. Alonso and
David Cabrero},
title = {An Opterational Model for Parsing Definite Clause Grammars
with Infinite Terms},
booktitle = {LACL},
year = {1997},
pages = {212-230},
ee = {http://dx.doi.org/10.1007/3-540-48975-4_11},
crossref = {DBLP:conf/lacl/1997},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lacl/1997,
editor = {Alain Lecomte and
Fran\c{c}ois Lamarche and
Guy Perrier},
title = {Logical Aspects of Computational Linguistics, Second International
Conference, LACL '97, Nancy, France, September 22-24, 1997,
Selected Papers},
booktitle = {LACL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1582},
year = {1999},
isbn = {3-540-65751-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}