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

@comment{{Command line: /usr/bin/bib2bib -c '$key="D87:jsc" or $key="KrN85:tcs" or $key="S91:bu" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{jsc = {Journal of Symbolic Computation}}

@string{tcs = {Theoretical Computer Science}}

@techreport{S91:bu,
  author = {Wayne Snyder},
  title = {A Note on the Complexity of Simplification Orderings},
  institution = {Boston University},
  address = {Boston, MA},
  year = 1991,
  type = {Technical Report},
  number = {TR 90--009},
  organization = ieee
}

@article{KrN85:tcs,
  author = {M. S. Krishnamoorthy and P. Narendran},
  year = {1985},
  title = {On Recursive Path Ordering},
  journal = tcs,
  volume = 40,
  pages = {323--328}
}

@article{D87:jsc,
  author = {Nachum Dershowitz},
  month = {February/April},
  year = 1987,
  title = {Termination of Rewriting},
  journal = jsc,
  volume = 3,
  number = {1\&2},
  pages = {69--115},
  note = {Corrigendum: {\em 4}, 3 (December 1987), 409--410; reprinted in
                 {\em Rewriting Techniques and Applications}, J.-P. Jouannaud,
                 ed., pp. 69---115, Academic Press, 1987}
}