2001-book.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}

@comment{{Command line: bib2bib -oc 2001-book.cite -ob 2001-book.bib -c 'year = 2001 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' /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}}

@inbook{jouannaud01ccl,
  author = {Jean-Pierre Jouannaud and Ralf Treinen},
  title = {Constraints and Constraint Solving: An Introduction},
  year = 2001,
  crossref = {comon01cclbook},
  chapter = 1,
  pages = {1--46},
  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},
  type_publi = {chapitre}
}

@book{comon01cclbook,
  booktitle = {Constraints in Computational Logics},
  title = {Constraints in Computational Logics},
  editor = {Hubert Comon and Claude March{\'e} and Ralf Treinen},
  year = 2001,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 2002,
  topics = {team},
  type_publi = {editeur}
}