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

@comment{{Command line: /usr/bin/bib2bib -c '$key="treinen92jsc" or $key="BC93:caap" or $key="C90:lics" or $key="JO91:icalp" or $key="NieuwenhuisIPL93" or $key="CCD93:rta" or $key="V87:jacm" or $key="ComonTreinen93:lri" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{springer = {Springer-Verlag}}

@string{jacm = {J. of the Association for Computing Machinery}}

@string{jsc = {Journal of Symbolic Computation}}

@string{tcs = {Theoretical Computer Science}}

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

@article{NieuwenhuisIPL93,
  author = { Robert Nieuwenhuis},
  title = {Simple {LPO} constraint solving methods},
  journal = {Information Processing Letters},
  volume = 47,
  pages = {65--69},
  year = 1993
}

@article{ComonTreinen93:lri,
  author = {Hubert Comon and Ralf Treinen},
  title = {The First-Order Theory of Lexicographic Path Orderings is
                Undecidable},
  journal = tcs,
  volume = 176,
  number = {1--2},
  month = apr,
  year = 1997,
  pages = {67--87}
}

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

@article{V87:jacm,
  author = {K. N. Venkataraman},
  title = {Decidability of the Purely Existential Fragment of the Theory
                 of Term Algebras},
  journal = jacm,
  year = 1987,
  volume = 34,
  number = 2,
  pages = {492--510}
}

@inproceedings{BC93:caap,
  author = {Alexandre Boudet and Hubert Comon},
  title = {About the Theory of Tree Embedding},
  crossref = {tapsoft93}
}

@article{treinen92jsc,
  author = {Ralf Treinen},
  title = {A new method for undecidability proofs of first order
			theories},
  journal = jsc,
  year = {1992},
  volume = {14},
  number = {5},
  pages = {437--458},
  month = nov
}

@inproceedings{JO91:icalp,
  author = {Jean-Pierre Jouannaud and Mitsuhiro Okada},
  title = {Satisfiability of Systems of Ordinal Notations with the
                  Subterm Property is Decidable},
  booktitle = {Proceedings of the Eighteenth EATCS Colloquium on Automata,
                 Languages and Programming (Madrid, Spain)},
  year = {1991},
  editor = {J. Leach Albert and B. Monien and M. {Rodr\'{\i}guez} Artalejo},
  month = jul,
  volume = 510,
  series = lncs,
  publisher = springer,
  address = {Berlin},
  pages = {455--468}
}

@inproceedings{C90:lics,
  author = {Hubert Comon},
  title = {Solving Inequations in Term Algebras {(Preliminary version)}},
  crossref = {lics90},
  pages = {62--69}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{lics90,
  booktitle = {Fifth } # lics,
  title = {Fifth } # lics,
  editor = {John C. Mitchell},
  year = 1990,
  month = jun,
  address = {Philadelphia, PA},
  organization = ieee
}

@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{tapsoft93,
  booktitle = {4th International Joint Conference on
			Theory and Practice of Software Development},
  title = {4th International Joint Conference on
			Theory and Practice of Software Development},
  editor = {M. C. Gaudel and J.-P. Jouannaud},
  year = 1993,
  month = apr,
  address = {Orsay, France},
  publisher = springer,
  series = lncs,
  volume = 668
}