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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Simpson85a" or $key="Mizuhito95" or $key="Gordeev90" or $key="Kriz89" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{elsevier = {Elsevier Science}}

@string{jsl = {Journal of Symbolic Logic}}

@incollection{Simpson85a,
  author = {S.G. Simpson},
  title = {Nonprovability of certain combinatorial properties of
             finite trees},
  booktitle = {Harvey Friedman's research on the Foundation of
                   Mathematics},
  publisher = elsevier,
  pages = {87--117},
  year = 1985,
  editor = {L. A. Harrington}
}

@article{Kriz89,
  author = {I. K\v{r}\'{\i}\v{z}},
  title = {Well-quasiordering finite trees with gap-condition.
              Proof of {H}arvey {F}riedman's conjecture},
  journal = {Ann. of Math.},
  volume = 130,
  pages = {215--226},
  year = 1989
}

@article{Gordeev90,
  author = {L. Gordeev},
  title = {Generalizations of the {K}ruskal-{F}riedman theorems},
  journal = jsl,
  volume = 55,
  number = 1,
  pages = {157--181},
  year = 1990
}

@inproceedings{Mizuhito95,
  author = {Ogawa, M.},
  title = {Simple gap termination on term graph rewriting systems},
  booktitle = {Theory of Rewriting Systems and Its Application},
  year = 1995,
  pages = {99--108},
  note = {Research report 918, RIMS, Kyoto Univ, Kyoto.,
            also available at http://www.brl.ntt.co.jp/people/mizuhito}
}