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

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

@string{jar = {Journal of Automated Reasoning}}

@string{tcs = {Theoretical Computer Science}}

@article{AG00,
  author = {Thomas Arts and Jürgen Giesl},
  title = {Termination of Term Rewriting Using Dependency
                   Pairs},
  journal = tcs,
  volume = 236,
  year = 2000,
  pages = {133--178}
}

@article{giesl06jar,
  author = {Jürgen Giesl and
               René Thiemann and
               Peter Schneider-Kamp and
               Stephan Falke},
  title = {Mechanizing and Improving Dependency Pairs},
  journal = jar,
  volume = 37,
  number = {3},
  year = {2006},
  pages = {155-203},
  ee = {http://dx.doi.org/10.1007/s10817-006-9057-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}