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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Mid93" or $key="scheffermann:pr309" or $key="M90:vrije" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@article{Mid93,
  author = {Aart Middeldorp},
  title = {Modular Properties of Conditional Term Rewriting Systems},
  journal = {Information and Computation},
  volume = 104,
  number = 1,
  year = 1993,
  pages = {110--158}
}

@phdthesis{M90:vrije,
  author = {Aart Middeldorp},
  title = {Modular Properties of Term Rewriting Systems},
  school = {Vrije Universiteit},
  address = {Amsterdam, The Netherlands},
  year = 1990
}

@techreport{scheffermann:pr309,
  author = {Kai Scheffermann},
  title = {A Countererexample to the Modularity of Unicity of Normal Forms
                 for Join Conditional Term Rewriting Systems},
  year = 2002,
  month = apr,
  institution = {Universit{\"a}t Hannover, Institut f{\"ur} Mathematik},
  type = {Preprint},
  number = {pr309},
  ps = {http://www-ifm.math.uni-hannover.de/preprints/pr309.ps},
  pdf = {http://www-ifm.math.uni-hannover.de/preprints/pr309.pdf},
  dvi = {http://www-ifm.math.uni-hannover.de/preprints/pr309.dvi}
}