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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Limet:rta99" or $key="Caron:rta99" or $key="Niehren:cade97" or $key="rta99" or $key="Treinen:rta96" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

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

@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{Caron:rta99,
  author = {Anne-C\'ecile Caron and Franck Seynhaeve and
			Sophie Tison and Marc Tommasi},
  title = {Deciding the Satisfiability of Quantifier Free
			Formulae on One-Step rewriting},
  crossref = {rta99},
  pages = {103--117}
}

@inproceedings{Limet:rta99,
  author = {S\'ebastien Limet and Pierre R\'ety},
  title = {A New Result about the Decidability of the Existential
			One-Step Rewriting Theory},
  crossref = {rta99},
  pages = {118--132}
}

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

@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{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{rta99,
  booktitle = {10th International Conference on Rewriting Techniques and Applications},
  title = {10th International Conference on Rewriting Techniques and Applications},
  editor = {Paliath Narendran and Michael Rusinowitch},
  publisher = springer,
  month = jul,
  year = 1999,
  address = {Trento, Italy},
  series = lncs,
  volume = 1631
}