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

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

@string{ic = {Information and Computation}}

@article{KM91,
  author = {Jan Willem Klop and Aart Middeldorp},
  title = {Sequentiality in Orthogonal Term Rewriting Systems},
  journal = {Journal of Symbolic Computation},
  volume = 12,
  year = 1991,
  pages = {161-195}
}

@article{T87:ic,
  author = {S. Thatte},
  title = {A Refinement of Strong Sequentiality for Term Rewriting 
with Constructors},
  journal = ic,
  volume = 72,
  pages = {46--65},
  year = 1987
}