1998-book.bib

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

@comment{{Command line: /usr/bin/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")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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}
}