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

@comment{{Command line: /usr/bin/bib2bib -c '$key="Dieckert:Makanin01" or $key="plandowski99focs" or $key="Makanin:77" or $key="Gutierrez:focs98" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{cambridgepress = {Cambridge University Press}}

@article{Makanin:77,
  author = {G. S. Makanin},
  title = {The Problem of Solvability of Equations in a Free
			Semi-Group},
  journal = {Math. USSR Sbornik},
  volume = 32,
  number = 2,
  year = 1977,
  pages = {129--198}
}

@inproceedings{Gutierrez:focs98,
  author = {C. Guti\'errez},
  title = {Satisfiability of Word Equations with Constants is in
			Exponential Space},
  crossref = {focs98}
}

@incollection{Dieckert:Makanin01,
  author = {Volker Diekert},
  title = {Makanin's Algorithm},
  url = {http://www.informatik.uni-stuttgart.de/ifi/ti/makanin.ps},
  crossref = {lothaire:words02},
  chapter = 12,
  pages = {387--442}
}

@inproceedings{plandowski99focs,
  author = {Wojciech Plandowski},
  title = {Satisfiability of Word Equations with Constants is in {PSPACE}},
  crossref = {focs99},
  pages = {495-500}
}

@proceedings{focs98,
  title = {Proceedings of the $39^{th}$ Symposium on
                        Foundations of Computer Science},
  booktitle = {Proceedings of the $39^{th}$ Symposium on
                        Foundations of Computer Science},
  key = {FOCS98},
  year = 1998
}

@proceedings{focs99,
  title = {Proceedings of the $40^{th}$ Symposium on
                        Foundations of Computer Science},
  booktitle = {Proceedings of the $40^{th}$ Symposium on
                        Foundations of Computer Science},
  key = {FOCS99},
  year = 1999,
  month = oct,
  address = {New York, NY, USA},
  publisher = ieee
}

@book{lothaire:words02,
  editor = {M. Lothaire},
  booktitle = {Algebraic Combinatorics on Words},
  title = {Algebraic Combinatorics on Words},
  publisher = cambridgepress,
  year = 2002,
  isbn = {0 521 81220 8}
}