1999-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 1999-journal.cite -ob 1999-journal.bib -c 'year = 1999 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@article{Ferreira99aaecc,
author = {Maria C.F. Ferreira and Delia Kesner and Laurence Puel},
topics = {team, cclserver, lri},
type_publi = {irevcomlec},
title = {{Lambda-calculi with Explicit Substitutions Preserving
Strong Normalization}},
journal = {Applicable Algebra in Engineering Communication and
Computing},
volume = {9},
number = {4},
pages = {333--371},
year = 1999,
clef_labo = {FKP99R}
}
@article{KML99,
author = {Delia Kesner and Pablo E. Mart{\'{\i}}nez L\'opez},
title = {Explicit Substitutions for Objects and Functions},
journal = {Journal of Functional and Logic Programming},
volume = {1999},
number = {Special Issue 2},
year = 1999,
topics = {team, lri, cclserver},
publisher = {The MIT Press},
type_publi = {irevcomlec},
clef_labo = {KML99R}
}
@article{comon99constraints,
author = {Hubert Comon and Mehmet Dincbas and Jean-Pierre
Jouannaud and Claude Kirchner},
topics = {team, lri, constraints, cclserver},
title = {A methodological view of constraint solving},
journal = {Constraints},
year = 1999,
month = dec,
volume = 4,
number = 4,
pages = {337--361},
ftp = {ftp://ftp.lri.fr/LRI/articles/jouannaud/mvcs.ps.Z},
abstract = {http://www.lri.fr/~jouannau/abstracts/mvcs.html},
clef_labo = {CDJ+98},
type_publi = {irevcomlec}
}