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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Toyama94" or $key="H80:jacm" or $key="Ohta94" or $key="OO93:ieice" or $key="C81:stoc" 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}}

@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{Toyama94,
  author = {Yoshihito Toyama and Michio Oyamaguchi},
  title = {{Church-Rosser} Property and Unique Normal Form Property of
			Non-Duplicating  Term Rewriting Systems},
  crossref = {ctrs94}
}

@article{Ohta94,
  author = {Yoshikatsu Ohta and Michio Oyamaguchi and
			Yoshihito Toyama},
  title = {On the {Church-Rosser} Property of Simple-Right-Linear
			Term Rewriting Systems},
  journal = {Trans.  IEICE},
  year = {to appear}
}

@article{OO93:ieice,
  author = {Michio Oyamaguchi and Yoshikatsu Ohta},
  title = {On the Confluent Property of Right-Ground Term Rewriting
                 Systems },
  journal = {Trans. IEICE},
  year = {1993},
  volume = {J76-D-I},
  pages = {39--45}
}

@inproceedings{C81:stoc,
  author = {Paul Chew},
  title = {Unique Normal Forms in Term Rewriting Systems with Repeated
                 Variables},
  booktitle = {Proceedings of the Thirteenth Annual Symposium on Theory of
                 Computing},
  year = {1981},
  pages = {7--18},
  organization = {ACM}
}

@proceedings{ctrs94,
  booktitle = {Proceedings of the Fourth International Workshop on
                 	Conditional Rewriting Systems},
  title = {Proceedings of the Fourth International Workshop on
                 	Conditional Rewriting Systems},
  address = {Jerusalem, Israel},
  month = jul,
  year = 1994,
  publisher = springer,
  editor = {Nachum Dershowitz and N. Lindenstrauss}
}