1998-book.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 1998-book.cite -ob 1998-book.bib -c 'year = 1998 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@inbook{loiseleur98coq,
  author = {Loiseleur, Patrick and Boutin, S.},
  title = {The {C}oq {P}roof {A}ssistant, {A}ddendum to the
                        {R}eference {M}anual, Version 6.2},
  chapter = {19: The {R}ing tactic},
  organization = {{INRIA-Rocquencourt}-{CNRS}-{Universit{\'e} Paris Sud}-{ENS Lyon}},
  ftp = {ftp://ftp.inria.fr/INRIA/coq/V6.2/doc},
  year = 1998,
  type_publi = {chapitre},
  topics = {team}
}