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

@comment{{Command line: /usr/bin/bib2bib -c '$key="OO97" or $key="K92:ox" or $key="T88:pfgc" or $key="H80:jacm" or $key="Dershowitz05OpenClosed" or $key="Okui:rta98" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{jacm = {J. of the Association for Computing Machinery}}

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

@incollection{K92:ox,
  author = {Jan Willem Klop},
  year = 1992,
  title = {Term Rewriting Systems},
  booktitle = {Handbook of Logic in Computer Science},
  editor = {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  publisher = {Oxford University Press},
  volume = 2,
  chapter = 1,
  pages = {1--117},
  address = {Oxford}
}

@inproceedings{Okui:rta98,
  author = {Satoshi Okui},
  title = {Simultaneous Critical Pairs and {Church-Rosser} Property},
  crossref = {rta98},
  pages = {2--16}
}

@inproceedings{OO97,
  author = {Michio Oyamaguchi and Yoshikatsu Ohta},
  title = {A New Parallel Closed Condition for {C}hurch-{R}osser of
             	Left-Linear Term Rewriting Systems},
  crossref = {rta97},
  pages = {187--201}
}

@incollection{T88:pfgc,
  author = {Yoshihito Toyama},
  title = {Commutativity of Term Rewriting Systems},
  booktitle = {Programming of Future Generation Computers II},
  editor = { K. Fuchi and L. Kott},
  publisher = {North-Holland},
  pages = {393--407},
  year = {1988}
}

@article{H80:jacm,
  author = {G{\'e}rard Huet},
  month = oct,
  year = 1980,
  title = {Confluent reductions: {Abstract} properties and applications to
                 term rewriting systems},
  journal = jacm,
  volume = 27,
  number = 4,
  pages = {797--821},
  annote = {Previous version in the {\em Proceedings of the Symposium on
                 Foundations of Computer Science}, Providence,
		RI, pp. 30-45 (October 1977)}
}

@inproceedings{Dershowitz05OpenClosed,
  author = {Nachum Dershowitz},
  title = {{O}pen. {C}losed. {O}pen},
  crossref = {rta05},
  url = {http://www.cs.tau.ac.il/\home{nachumd}/papers/OpenClosed.pdf}
}

@proceedings{rta97,
  booktitle = {8th International Conference on Rewriting Techniques and Applications},
  title = {8th International Conference on Rewriting Techniques and Applications},
  editor = {Hubert Comon},
  publisher = springer,
  year = 1997,
  month = jun,
  address = {Barcelona, Spain},
  series = lncs,
  volume = 1232
}

@proceedings{rta98,
  booktitle = {9th International Conference on Rewriting Techniques and Applications},
  title = {9th International Conference on Rewriting Techniques and Applications},
  editor = {Tobias Nipkow},
  publisher = springer,
  year = 1998,
  month = apr,
  address = {Tsukuba, Japan},
  series = lncs,
  volume = 1379
}

@proceedings{rta05,
  title = {16th International Conference on Rewriting Techniques},
  booktitle = {16th International Conference on Rewriting Techniques},
  editor = {J\"urgen Giesl},
  publisher = springer,
  series = lncs,
  volume = 3467,
  address = {Nara, Japan},
  month = apr,
  year = 2005
}