1997-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 1997-journal.cite -ob 1997-journal.bib -c 'year = 1997 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{Kesner97,
  author = {Delia Kesner},
  topics = {team, cclserver, lri},
  title = {Reasoning about redundant patterns},
  journal = {Journal of Functional and Logic Programming},
  year = {1997},
  volume = 4,
  type_publi = {irevcomlec},
  clef_labo = {Kes97R}
}

@article{ajili97tcs,
  author = {Ajili, Farid and Contejean, \'Evelyne},
  title = {Avoiding Slack Variables in the Solving of Linear
		  Diophantine Equations and Inequations},
  journal = {Theoretical Computer Science},
  year = 1997,
  volume = 173,
  number = 1,
  month = feb,
  pages = {183--208},
  editor = {U. Montanari and F. Rossi},
  abstract = {http://www.lri.fr/~contejea/publis/1997tcs/abstract.html},
  type_publi = {irevcomlec},
  topics = {team, cclserver, solserver, lri},
  annote = {Special Issue of TCS dedicated to a refereed
		  selection of papers presented at CP'95},
  type_publi = {AC97R},
  doi = {http://dx.doi.org/10.1016/S0304-3975(96)00195-8}
}

@article{comon95tcs,
  author = {Hubert Comon and Ralf Treinen},
  topics = {team, lri, constraints, cclserver},
  location = {HC},
  title = {The First-Order Theory of Lexicographic Path
                  	Orderings is Undecidable},
  journal = {Theoretical Computer Science},
  volume = 176,
  number = {1--2},
  month = apr,
  year = 1997,
  pages = {67--87},
  ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/lpo-tcs.ps.gz},
  abstract = {ftp://ftp.lri.fr/LRI/articles/treinen/lpo-tcs.abstract},
  type_publi = {irevcomlec},
  clef_labo = {CT97R}
}

@article{jouannaud97tcs,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  title = {Abstract data type systems},
  topics = {team, lri, cclserver},
  journal = {Theoretical Computer Science},
  year = 1997,
  volume = 173,
  number = 2,
  month = feb,
  pages = {349--391},
  type_publi = {irevcomlec},
  clef_labo = {JO97R}
}