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

@comment{{Command line: /usr/bin/bib2bib -c '$key="seynhaeve01tcs" or $key="Vorobyov:rta97" or $key="Tison:habilitation" or $key="treinen97tapsoft" or $key="Jacquemard:thesis" or $key="Niehren:cade97" or $key="rta97" or $key="CCD93:rta" or $key="treinen98tcs" or $key="Treinen:rta96" or $key="Marcinkowski:rta97" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{tcs = {Theoretical Computer Science}}

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

@string{lnai = {Lecture Notes in Artificial Intelligence}}

@inproceedings{CCD93:rta,
  author = {Anne-C\'ecile Caron and Jean-Luc Coquid{\'e} and Max Dauchet},
  title = {Encompassment Properties and Automata with Constraints},
  crossref = {rta93},
  pages = {328--342}
}

@misc{Tison:habilitation,
  author = {Sophie Tison},
  title = {Automates Comme Outil De D\'ecision Dans Les Arbres},
  year = 1990,
  month = dec,
  howpublished = {Dossier d'habilitation \`a diriger des recherches},
  address = {Universit\'e des Sciences et Techniques de Lille, Lille, France},
  note = {In French}
}

@phdthesis{Jacquemard:thesis,
  author = {Florent Jacquemard},
  title = {Automates d'arbres et R\'e\'ecriture de termes},
  school = {Universit\'e de Paris-Sud},
  year = 1996,
  note = {In French.}
}

@inproceedings{Vorobyov:rta97,
  author = {Sergei Vorobyov},
  title = {The First-Order Theory of One Step Rewriting in Linear
                Noetheran Systems is Undecidable},
  crossref = {rta97},
  pages = {254--268}
}

@inproceedings{Marcinkowski:rta97,
  author = {Jerzy Marcinkowski},
  title = {Undecidability of the First Order Theory of One-Step
                Right Ground Rewriting},
  crossref = {rta97},
  pages = {241--253}
}

@inproceedings{treinen97tapsoft,
  author = {Franck Seynhaeve and Marc Tommasi and Ralf Treinen},
  title = {Grid Structures and Undecidable Constraint Theories},
  crossref = {tapsoft97},
  pages = {357--368},
  year = 1997
}

@article{seynhaeve01tcs,
  author = {Franck Seynhaeve and Sophie Tison and Marc Tommasi and
                     Ralf Treinen},
  title = {Grid Structures and Undecidable Constraint Theories},
  journal = tcs,
  volume = 258,
  number = {1--2},
  month = may,
  year = 2001,
  pages = {453--490},
  ps = {http://www.lsv.ens-cachan.fr/~treinen/publi/tcs-grid.ps.gz}
}

@inproceedings{Niehren:cade97,
  author = {Joachim Niehren and Manfred Pinkal and Peter Ruhrberg},
  title = {On Equality Up-to Constraints over Finite Trees, Context
                 Unification and One-Step Rewriting},
  crossref = {cade97},
  pages = {34--48}
}

@inproceedings{Treinen:rta96,
  author = {Ralf Treinen},
  title = {The First-Order Theory of One-Step Rewriting is
                        Undecidable},
  crossref = {rta96},
  pages = {276--286},
  url = {http://www.lsv.ens-cachan.fr/\home{treinen}/publi/rta96-rep.ps.gz}
}

@article{treinen98tcs,
  author = {Ralf Treinen},
  title = {The First-Order Theory of Linear One-Step Rewriting
                    is Undecidable},
  journal = tcs,
  volume = 208,
  number = {1--2},
  pages = {179--190},
  year = 1998,
  month = nov
}

@proceedings{cade97,
  booktitle = {14th International Conference on Automated Deduction},
  title = {14th International Conference on Automated Deduction},
  address = {Townsville, Australia},
  editor = {William McClune},
  year = 1997,
  month = jul,
  publisher = springer,
  series = lnai,
  volume = 1249
}

@proceedings{rta93,
  title = {5th International Conference on Rewriting Techniques and Applications},
  booktitle = {5th International Conference on Rewriting Techniques and Applications},
  editor = {Claude Kirchner},
  publisher = springer,
  year = 1993,
  month = jun,
  address = {Montreal, Canada},
  series = lncs,
  volume = 690
}

@proceedings{rta96,
  booktitle = {7th International Conference on Rewriting Techniques and Applications},
  title = {7th International Conference on Rewriting Techniques and Applications},
  editor = {Harald Ganzinger},
  publisher = springer,
  year = 1996,
  month = jul,
  address = {New Brunswick, NJ, USA},
  series = lncs,
  volume = 1103
}

@proceedings{rta97,
  booktitle = {8th International Conference on Rewriting Techniques and Applications},
  title = {8th International Conference on Rewriting Techniques and Applications},
  editor = {Hubert Comon},
  publisher = springer,
  year = 1997,
  month = jun,
  address = {Barcelona, Spain},
  series = lncs,
  volume = 1232
}

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