@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 1999-other.cite -ob 1999-other.bib -c 'year = 1999 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' /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}}
  author = {Jean-Pierre Jouannaud and Ralf Treinen},
  title = {Constraints and Constraint Solving: An Introduction},
  year = 1999,
  month = sep,
  howpublished = {Course Notes at the International Summer School on
                  Constraints in Computational Logics, Gif-sur-Yvette,
  ftp = {ftp://ftp.lri.fr/LRI/articles/treinen/ccl99.ps.gz},
  abstract = {http://www.lri.fr/~treinen/publications.html#ccl99},
  topics = {team, lri, constraints, cclserver},
  note = {Revised version published as \cite{jouannaud01ccl}},
  type_publi = {diffusion}
  title = {International Conference on 
                  Theorem Proving in Higher Order Logics (TPHOLs'99)},
  year = 1999,
  editor = {Y. Bertot and G. Dowek and C. Paulin-Mohring and L. Th{\'e}ry},
  series = {Lecture Notes in Computer Science},
  month = sep,
  publisher = {Springer},
  address = {Nice},
  clef_labo = {BDP+99},
  type_publi = {editeur},
  topics = {team}