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

@comment{{Command line: /usr/bin/bib2bib -c '$key="lescanne94tcs" or $key="geser97caap" or $key="Dershowitz05OpenClosed" or $key="HL78:inria" or $key="MG95" or $key="JK84:rairo" or $key="D92" or $key="Z94open" 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{tcs = {Theoretical Computer Science}}

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

@techreport{HL78:inria,
  author = {G{\'e}rard Huet and Dallas S. Lankford},
  month = mar,
  year = {1978},
  title = {On the Uniform Halting Problem for Term Rewriting Systems},
  type = {Rapport laboria},
  number = {283},
  institution = {Institut de Recherche en Informatique et en Automatique},
  address = {Le Chesnay, France}
}

@article{D92,
  author = {Max Dauchet},
  title = {Simulation of {T}uring machines by a regular rewrite rule},
  journal = tcs,
  volume = 103,
  number = 2,
  pages = {409--420},
  year = 1992
}

@article{lescanne94tcs,
  author = {Pierre Lescanne},
  title = {On termination of one rule rewrite systems},
  journal = tcs,
  volume = 132,
  number = {1--2},
  pages = {395--401},
  year = 1994,
  month = sep
}

@inproceedings{geser97caap,
  author = { Alfons Geser and Aart Middeldorp and Enno Ohlebusch
	        and Hans Zantema},
  title = {Relative Undecidability in the Termination Hierarchy of
		Single Rewrite Rules},
  pages = {237--248},
  crossref = {tapsoft97}
}

@techreport{Z94open,
  author = {Hans Zantema},
  title = {Total termination of term rewriting is undecidable},
  institution = {Utrecht University},
  year = {1994},
  number = {UU-CS-1994-55},
  month = {December}
}

@article{JK84:rairo,
  author = {Jean-Pierre Jouannaud and H{\'e}l{\`e}ne Kirchner},
  year = 1984,
  title = {Construction d'un plus petit ordre de simplification},
  journal = {RAIRO Theoretical Informatics},
  volume = 18,
  number = 3,
  pages = {191--207}
}

@article{MG95,
  author = {Aart Middeldorp and Bernhard Gramlich},
  title = {Simple Termination is Difficult},
  journal = aaecc,
  year = {1995},
  volume = {6},
  number = {2},
  pages = {115--128}
}

@inproceedings{Dershowitz05OpenClosed,
  author = {Nachum Dershowitz},
  title = {{O}pen. {C}losed. {O}pen},
  crossref = {rta05},
  url = {http://www.cs.tau.ac.il/\home{nachumd}/papers/OpenClosed.pdf}
}

@proceedings{rta05,
  title = {16th International Conference on Rewriting Techniques},
  booktitle = {16th International Conference on Rewriting Techniques},
  editor = {J\"urgen Giesl},
  publisher = springer,
  series = lncs,
  volume = 3467,
  address = {Nara, Japan},
  month = apr,
  year = 2005
}

@proceedings{tapsoft97,
  booktitle = {Theory and Practice of Software Development},
  title = {Theory and Practice of Software Development},
  editor = {Michel Bidoit and Max Dauchet},
  year = 1997,
  month = apr,
  address = {Lille, France},
  series = lncs,
  volume = {1214},
  publisher = springer
}