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

@comment{{Command line: /usr/bin/bib2bib -c '$key="HootPhD" or $key="TALP" or $key="AG00" or $key="Sivakumar89:uiuc" or $key="DP86" or $key="GM87" or $key="O01" or $key="GA01" or $key="BK86:jcss" or $key="M96" or $key="DH95" or $key="AProVE" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{aaecc = {Applicable Algebra in Engineering, Communication and Computing}}

@string{jcss = {Journal of Computer and System Sciences}}

@string{mi = {Machine Intelligence}}

@string{tcs = {Theoretical Computer Science}}

@string{lncs = {Lecture Notes in Computer Science}}

@string{univill = {University of Illinois}}

@string{csill = {Department of Computer Science}}

@article{BK86:jcss,
  author = {J. A. Bergstra and Jan Willem Klop},
  year = 1986,
  title = {Conditional rewrite rules: {Confluency} and termination},
  journal = jcss,
  volume = 32,
  number = 3,
  pages = {323--362}
}

@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{DP86,
  author = {Nachum Dershowitz and David Plaisted},
  title = {Equational Programming},
  journal = mi,
  volume = {11},
  pages = {21--56},
  year = {1986}
}

@article{DH95,
  author = {Nachum Dershowitz and Charles Hoot},
  title = {Natural Termination},
  journal = tcs,
  volume = {142},
  pages = {170--207},
  year = {1995}
}

@article{GA01,
  author = {Jürgen Giesl and Thomas Arts},
  title = {Verification of {E}rlang Processes by Dependency
                   Pairs},
  journal = aaecc,
  volume = {12},
  number = {1,2},
  pages = {39--72},
  year = {2001}
}

@inproceedings{AProVE,
  author = {Jürgen Giesl and René Thiemann and Peter Schneider-Kamp and
                  S. Falke},
  title = {Automated Termination Proofs with {{\sf AProVE}}},
  pages = {210--220},
  crossref = {rta04}
}

@inproceedings{GM87,
  author = {E. Giovanetti and C. Moiso},
  title = {Notes on the Elimination of Conditions},
  booktitle = {Proc.\ CTRS~'87},
  series = {LNCS 308},
  pages = {91--97},
  year = {1987}
}

@phdthesis{HootPhD,
  author = {Charles Hoot},
  title = {Termination of Non-Simple Rewrite Systems},
  school = univill,
  year = {1996}
}

@inproceedings{M96,
  author = {M. Marchiori},
  title = {Unravelings and Ultra-Properties},
  booktitle = {Proc.\ ALP~'96},
  series = {LNCS 1139},
  pages = {107--121},
  year = {1996}
}

@article{O01,
  author = {Enno Ohlebusch},
  title = {Termination of Logic Programs: Transformational Methods
                  Revisited},
  journal = aaecc,
  volume = {12},
  number = {1,2},
  pages = {73--116},
  year = {2001}
}

@inproceedings{TALP,
  author = {Enno Ohlebusch and Claus Claves and Claude March\'e},
  title = {{\sf TALP}: A Tool for the Termination Analysis of Logic
                Programs},
  crossref = {rta00},
  pages = {270--273}
}

@phdthesis{Sivakumar89:uiuc,
  author = {G. Sivakumar},
  year = 1989,
  month = may,
  title = {Proofs and Computations in Conditional Equational Theories},
  school = csill # {, } # univill,
  note = {Report R-89-1642},
  address = {Urbana, IL}
}

@proceedings{rta00,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Leo Bachmair},
  publisher = springer,
  series = lncs,
  volume = 1833,
  month = jul,
  year = 2000,
  address = {Norwich, UK}
}

@proceedings{rta04,
  title = {15th International Conference on Rewriting Techniques},
  booktitle = {15th International Conference on Rewriting Techniques},
  editor = {Vincent van Oostrom},
  publisher = springer,
  year = 2004,
  month = jun,
  address = {Aachen, Germany},
  series = lncs,
  volume = 3091
}