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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Rak97" or $key="OgawaOno:89" or $key="C81:stoc" or $key="K80:mct" or $key="ohlebusch94" or $key="Toyama94" or $key="ManoOgawa:94" or $key="OO93:ieice" or $key="Martelli:84" or $key="Rak96" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@book{K80:mct,
  author = {Jan Willem Klop},
  year = 1980,
  title = {Combinatory Reduction Systems},
  series = {Mathematical Centre Tracts},
  publisher = {Mathematisch Centrum},
  address = {Amsterdam},
  volume = 127
}

@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{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}
}

@techreport{Rak96,
  author = {Rakesh M. Verma},
  title = {Unicity and Modularity of Confluence for Term Rewriting
			Systems},
  institution = {University of Houston},
  year = 1996
}

@inproceedings{Rak97,
  author = {Rakesh M. Verma},
  title = {Unique normal forms for nonlinear term rewriting systems:
			Root overlaps},
  booktitle = {Symp. on Fundamentals of Computation Theory},
  publisher = {Springer-Verlag},
  series = lncs,
  volume = 1279,
  pages = {452--462},
  month = sep,
  year = 1997
}

@inproceedings{ohlebusch94,
  author = {Enno Ohlebusch},
  title = {On the Modularity of Confluence of Constructor-Sharing
			Term Rewriting Systems},
  crossref = {caap94}
}

@techreport{ManoOgawa:94,
  author = {K. Mano and M. Ogawa},
  title = {A new proof of {Chew's} theorem},
  institution = {IPSJ PRG94-19-7},
  year = 1994
}

@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}
}

@techreport{OgawaOno:89,
  author = {M. Ogawa and S. Ono},
  title = {On the Uniquely Converging Property of Nonlinear Term
             Rewriting Systems},
  institution = {IEICE COMP89-7},
  year = 1989
}

@inproceedings{Martelli:84,
  author = {A. Martelli and G. Rossi},
  title = {Efficient unification with infinite terms in logic programming},
  booktitle = {International conference on fifth generation computer
                 systems},
  year = 1984,
  pages = {202--209}
}

@proceedings{caap94,
  booktitle = {Colloquium on Trees in Algebra and Programming},
  title = {Colloquium on Trees in Algebra and Programming},
  editor = {Sophie Tison},
  year = 1994,
  address = {Edinburgh, Scotland},
  series = lncs,
  volume = 787,
  publisher = springer
}

@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}
}