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

@comment{{Command line: /usr/bin/bib2bib -c '$key="C91:caap" or $key="K90:tuc" or $key="DJ90:htcs" or $key="Dershowitz05OpenClosed" or $key="geser03rta" or $key="W90:wert" or $key="D89:rta" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@inproceedings{W90:wert,
  author = {C. Wrathall},
  title = {Confluence of One-Rule {Thue} Systems},
  booktitle = {Proceedings of the First International Workshop on Word
                 Equations and Related Topics (Tubingen)},
  year = {1990},
  pages = {237--246},
  series = lncs,
  volume = 572,
  publisher = springer,
  address = {Berlin}
}

@phdthesis{K90:tuc,
  author = {W. Kurth},
  title = {{Termination und Konfluenz von Semi-Thue-Systems mit
     			nur einer Regel}},
  school = {Technische Universitat Clausthal},
  year = {1990},
  address = {Clausthal, Germany},
  note = {In German}
}

@inproceedings{C91:caap,
  author = {Anne-C\'ecile Caron},
  title = {Linear Bounded Automata and Rewrite Systems: {Influence} of
                 Initial Configurations on Decision Properties},
  booktitle = {Proceedings of the International Joint Conference on Theory
                 and Practice of Software Development, 
                 volume 1: Colloquium on Trees in Algebra and Programming
                 (Brighton, U.K.)},
  month = apr,
  year = {1991},
  pages = {74--89},
  publisher = springer,
  address = {Berlin},
  series = lncs,
  volume = 493
}

@incollection{DJ90:htcs,
  author = {Nachum Dershowitz and Jean-Pierre Jouannaud},
  year = 1990,
  title = {Rewrite Systems},
  booktitle = {Handbook of Theoretical Computer Science},
  volume = {B: Formal Methods and Semantics},
  chapter = 6,
  pages = {243--320},
  editor = {J. van Leeuwen},
  publisher = {North-Holland},
  address = {Amsterdam}
}

@inproceedings{D89:rta,
  author = {Max Dauchet},
  title = {Simulation of {Turing} machines by a left-linear rewrite rule},
  crossref = {rta89},
  pages = {109--120}
}

@inproceedings{geser03rta,
  author = {Alfons Geser},
  title = {Termination of String Rewriting Rules That Have One Pair
           of Overlaps},
  crossref = {rta03},
  pages = {410--423}
}

@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{rta89,
  booktitle = {Rewriting Techniques and Applications},
  title = {Rewriting Techniques and Applications},
  editor = {Nachum Dershowitz},
  series = lncs,
  publisher = springer,
  year = 1989,
  month = apr,
  address = {Chapel Hill, NC, USA},
  volume = 355
}

@proceedings{rta03,
  title = {14th International Conference on Rewriting Techniques},
  booktitle = {14th International Conference on Rewriting Techniques},
  editor = {Robert Nieuwenhuis},
  publisher = springer,
  year = 2003,
  month = jun,
  address = {Valencia, Spain},
  series = lncs,
  volume = 2706
}

@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
}