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

@comment{{Command line: /usr/bin/bib2bib -c '$key="LM93:stacs" or $key="T90:fst" or $key="F93:rta" or $key="Marcinkowski:rta99" or $key="comon93tcs" or $key="treinen92jsc" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

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

@string{tcs = {Theoretical Computer Science}}

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

@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{Marcinkowski:rta99,
  author = {Jerzy Marcinkowski},
  title = {Undecidability of the $\exists^*\forall^*$ Part of the
			Theory of Ground Term Algebra Modulo an {AC} Symbol},
  crossref = {rta99},
  pages = {92--102}
}

@inproceedings{LM93:stacs,
  author = {D. Lugiez and J.-L. Moysset},
  title = {Complement problems and tree automata in {AC}-like theories},
  booktitle = {Proceedings of the  Symposium on Theoretical Aspects of
                 Computer Science (W{\"u}rzburg, Germany)},
  year = 1993,
  publisher = springer,
  series = lncs,
  address = {Berlin}
}

@inproceedings{F93:rta,
  author = {Maribel Fern{\'a}ndez},
  title = {{AC}-Complement Problems: Validity and Negation
                 	Elimination},
  crossref = {rta93},
  pages = {358--373}
}

@article{comon93tcs,
  author = {Hubert Comon},
  topics = {teamp, constraints},
  title = {Complete axiomatizations of some quotient term algebras},
  journal = tcs,
  year = 1993,
  volume = 118,
  number = 2,
  month = sep
}

@inproceedings{T90:fst,
  author = {Ralf Treinen},
  title = {A New Method for Undecidability Proofs of First Order Theories},
  booktitle = {Proceedings of the Tenth Conference on Foundations of Software
	                Technology and Theoretical Computer Science},
  editor = {K. V. Nori and C. E. Veni Madhavan},
  volume = 472,
  publisher = springer,
  series = lncs,
  year = 1990,
  pages = {48--62}
}

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