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

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

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

@article{Z94,
  author = {Hans Zantema},
  title = {Termination of term rewriting: interpretation and type
			elimination},
  journal = jsc,
  year = 1994,
  volume = 17,
  pages = {23-50}
}

@article{Takahito2001jflp,
  author = {Takahito Aoto},
  title = {Solution to the Problem of {Z}antema on a Persistent
             Property of Term Rewriting Systems},
  journal = {Journal of Functional and Logic Programming},
  volume = {2001},
  number = {11},
  month = {December},
  year = {2001}
}