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

@comment{{Command line: /usr/bin/bib2bib -c '$key="G91:stacs" or $key="VG92:eatcs" or $key="K91:rta" or $key="KT92:ctrs" or $key="ctrs92" or $key="HH92:ctrs" or $key="KucherovTajine95ic" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{springer = {Springer-Verlag}}

@string{ic = {Information and Computation}}

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

@inproceedings{K91:rta,
  author = {G. Kucherov},
  title = {On relationship between term rewriting systems and regular tree
  		languages},
  crossref = {rta91}
}

@inproceedings{HH92:ctrs,
  author = {D. Hofbauer and M. Huber},
  title = {Computing linearizations using test sets},
  crossref = {ctrs92},
  pages = {287--301}
}

@inproceedings{KT92:ctrs,
  author = {Gregory Kucherov and Mohamed Tajine},
  title = {Decidability of Regularity and Related Properties of Ground
                 	Normal Form Languages},
  pages = {272--286},
  crossref = {ctrs92}
}

@article{KucherovTajine95ic,
  author = {Gregory Kucherov and  Mohamed Tajine},
  title = {Decidability of Regularity and Related Properties of Ground
               Normal Form Languages},
  journal = ic,
  volume = {118},
  number = {1},
  year = {1995},
  pages = {91-100}
}

@article{VG92:eatcs,
  author = {S. V{\'a}gv{\"o}lgyi and R. Gilleron},
  title = {For a rewrite system it is decidable whether the set
		 of irreducible, ground terms is decidable},
  journal = {Bulletin of the European Association for Theoretical Computer
                 Science},
  year = {1992},
  volume = {48},
  pages = {197--209},
  month = oct
}

@inproceedings{G91:stacs,
  author = {R. Gilleron},
  title = {Decision Problems for Term Rewriting Systems and
                 Recognizable Tree Languages},
  crossref = {stacs91}
}

@proceedings{ctrs92,
  booktitle = {Proceedings of the Third International Workshop on
                 	Conditional Rewriting Systems},
  title = {Proceedings of the Third International Workshop on
                 	Conditional Rewriting Systems},
  editor = {Micha\"el Rusinowitch, M. and R\'emy, J. L.},
  month = jan,
  year = 1993,
  publisher = springer,
  series = lncs,
  volume = 656,
  address = {Pont-\`a-Mousson, France}
}

@proceedings{rta91,
  booktitle = {4th International Conference on Rewriting Techniques and Applications},
  title = {4th International Conference on Rewriting Techniques and Applications},
  editor = {Ronald. V. Book},
  year = 1991,
  month = apr,
  address = {Como, Italy},
  publisher = springer,
  series = lncs,
  volume = 488
}

@proceedings{stacs91,
  booktitle = {Eighth Symposium on Theoretical Aspects of Computer Science},
  title = {Eighth Symposium on Theoretical Aspects of Computer Science},
  editor = {Christian Choffrut and Matthias Jantzen},
  month = feb,
  year = 1991,
  address = {Hamburg, Germany},
  publisher = springer,
  series = lncs,
  volume = 480
}