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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Verma95" or $key="Kri95" or $key="Kri98" or $key="Ohlebusch:caap94" or $key="D97:rta" or $key="MT91:rta" or $key="Geser:PhD" or $key="RV80:jacm" or $key="Verma96" or $key="T87:jacm" or $key="KO92:tcs" 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{tcs = {Theoretical Computer Science}}

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

@inproceedings{D97:rta,
  author = {Nachum Dershowitz},
  title = {Innocuous Constructor-Sharing Combinations},
  crossref = {rta97},
  pages = {202--216}
}

@article{RV80:jacm,
  author = {Jean-Claude Raoult and Jean Vuillemin},
  month = oct,
  year = {1980},
  title = {Operational and semantic equivalence between recursive
                 programs},
  journal = jacm,
  volume = {27},
  number = {4},
  pages = {772--796}
}

@inproceedings{Verma95,
  author = {Rakesh M. Verma},
  title = {Unique normal forms and confluence for rewrite systems},
  booktitle = {Int'l Joint Conf. on Artificial Intelligence},
  year = 1995,
  pages = {362--368}
}

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

@phdthesis{Geser:PhD,
  author = {Alfons Geser},
  title = {Relative Termination},
  school = {qUniversit\"at Passau},
  address = {Passau, Germany},
  year = 1990
}

@inproceedings{Ohlebusch:caap94,
  author = {Enno Ohlebusch},
  title = {On the Modularity of Confluence of Constructor-Sharing Term
			Rewriting Systems},
  booktitle = {19th Colloquium on Trees in Algebra and Programming},
  series = {LNCS},
  volume = 787,
  year = 1994,
  pages = {261-275},
  publisher = {Springer-Verlag}
}

@inproceedings{MT91:rta,
  author = {Aart Middeldorp and Yoshihito Toyama},
  title = {Completeness of Combinations of Constructor Systems},
  crossref = {rta91},
  pages = {174--187}
}

@article{KO92:tcs,
  author = {M. Kurihara and A. Ohuchi},
  title = {Modularity of Simple Termination of Term Rewriting Systems
                 with Shared Constructors},
  journal = tcs,
  year = {1992},
  volume = {103},
  pages = {273--282}
}

@article{T87:jacm,
  author = {Yoshihito Toyama},
  month = jan,
  year = {1987},
  title = {On the {Church-Rosser} Property for the Direct Sum of Term
                 Rewriting Systems},
  journal = jacm,
  volume = {34},
  number = {1},
  pages = {128--143}
}

@inproceedings{Kri95,
  author = {M.R.K. Krishna Rao},
  title = {Semi-completeness of hierarchical and super-hierarchical
		 combinations of term rewriting systems},
  booktitle = {Theory and practice of Software Development, TAPSOFT'95},
  volume = 915,
  series = {Lecture Notes in Computer Science},
  pages = {379-393},
  publisher = {Springer-Verlag},
  year = 1995
}

@article{Kri98,
  author = {M.R.K. Krishna Rao},
  title = {Modular Aspects of Term Graph Rewriting},
  journal = tcs,
  volume = 208,
  number = {1--2},
  pages = {59--86},
  year = 1998,
  note = {Special issue on Rewriting Techniques and Applications
 		conference RTA'96}
}

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

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