1999-journal.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 1999-journal.cite -ob 1999-journal.bib -c 'year = 1999 and topics : "team" and $type="article"' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/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}
}