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

@comment{{Command line: /usr/bin/bib2bib -c '$key="DKP91:tcs" or $key="KKSV90:cwi" or $key="KKSV91:rta" or $key="simonsen04ipl" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{ipl = {Information Processing Letters}}

@string{tcs = {Theoretical Computer Science}}

@string{lncs = {Lecture Notes in Computer Science}}

@inproceedings{KKSV91:rta,
  author = {J. R. Kennaway and Jan Willem Klop and
			M. R. Sleep and F. J. {de Vries}},
  title = {Transfinite reductions in orthogonal term rewriting systems
                 ({Extended} abstract)},
  crossref = {rta91},
  pages = {1--12}
}

@techreport{KKSV90:cwi,
  author = {J. R. Kennaway and Jan Willem Klop and M. R. Sleep
		and F. J. {de Vries}},
  title = {Transfinite reductions in orthogonal term rewriting systems},
  number = {CS-R9041},
  institution = {CWI},
  address = {Amsterdam},
  year = 1990
}

@article{DKP91:tcs,
  author = {Nachum Dershowitz and St\'ephane Kaplan and David A. Plaisted},
  year = 1991,
  title = {Rewrite, Rewrite, Rewrite, Rewrite, Rewrite,\ldots},
  journal = tcs,
  volume = 83,
  number = 1,
  pages = {71--96}
}

@article{simonsen04ipl,
  author = {Jakob Grue Simonsen},
  title = {On confluence and residuals in {C}auchy convergent
            transfinite rewriting},
  journal = ipl,
  volume = 91,
  number = 3,
  year = 2004,
  month = aug,
  pages = {141--146},
  url = {http://linkinghub.elsevier.com/retrieve/pii/S0020019004001103}
}

@proceedings{rta91,
  booktitle = {4th International Conference on Rewriting Techniques and Applications},
  title = {4th International Conference on Rewriting Techniques and Applications},
  editor = {Ronald. V. Book},
  year = 1991,
  month = apr,
  address = {Como, Italy},
  publisher = springer,
  series = lncs,
  volume = 488
}