@inproceedings{Plandowski,
    doi = {10.1109/sffcs.1999.814622},
    url = {https://doi.org/10.1109%2Fsffcs.1999.814622},
    publisher = {{IEEE} Comput. Soc},
    author = {W. Plandowski},
    title = {Satisfiability of word equations with constants is in {PSPACE}},
    booktitle = {40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)}
}

@inproceedings{Plandowski, doi = {10.1109/sffcs.1999.814622}, url = {https://doi.org/10.1109%2Fsffcs.1999.814622}, publisher = {{IEEE} Comput. Soc}, author = {W. Plandowski}, title = {Satisfiability of word equations with constants is in {PSPACE}}, booktitle = {40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)} }