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

@comment{{Command line: /usr/bin/bib2bib -c '$key="B85:tcs" or $key="DMT85:aero" or $key="Squier1987a" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{tcs = {Theoretical Computer Science}}

@article{B85:tcs,
  author = {G. Bauer},
  title = {{$n$-}Level Rewriting Systems},
  journal = tcs,
  volume = 40,
  year = 1985,
  pages = {85--99}
}

@techreport{DMT85:aero,
  author = {Nachum Dershowitz and Leo Marcus and Andrzej Tarlecki},
  month = dec,
  year = 1985,
  title = {Existence, Uniqueness, and Construction of Rewrite Systems},
  number = {ATR-85(8354)-7},
  institution = {Computer Science Laboratory, The Aerospace Corporation},
  address = {El Segundo, CA}
}

@article{Squier1987a,
  author = {Craig Squier},
  title = {Word Problems and a Homological Finiteness Condition
                 for Monoids},
  journal = {J. of Pure and Applied Algebra},
  volume = {49},
  year = {1987},
  pages = {201--217}
}