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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Mar93" or $key="M89:rta" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@techreport{Mar93,
  author = {M. Marchiori},
  title = {Modularity of {UN}$^\rightarrow$ for left-linear Term Rewriting Systems},
  year = 1994,
  report = {Technical Report CS-R9433},
  institution = {CWI},
  address = {{A}msterdam}
}

@inproceedings{M89:rta,
  author = {Aart Middeldorp},
  title = {Modular Aspects of Properties of Term Rewriting Systems
                 Related to Normal Forms},
  crossref = {rta89},
  pages = {263--277}
}

@proceedings{rta89,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Nachum Dershowitz},
  series = lncs,
  publisher = springer,
  year = 1989,
  month = apr,
  address = {Chapel Hill, NC, USA},
  volume = 355
}