@inproceedings{Th_rien_1998,
    doi = {10.1145/276698.276749},
    url = {https://doi.org/10.1145%2F276698.276749},
    year = {1998},
    publisher = {{ACM} Press},
    author = {Denis Th{\'{e}}rien and Thomas Wilke},
    title = {Over words, two variables are as powerful as one quantifier alternation},
    booktitle = {Proceedings of the thirtieth annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}98}
}

@inproceedings{Th_rien_1998, doi = {10.1145/276698.276749}, url = {https://doi.org/10.1145%2F276698.276749}, year = {1998}, publisher = {{ACM} Press}, author = {Denis Th{\'{e}}rien and Thomas Wilke}, title = {Over words, two variables are as powerful as one quantifier alternation}, booktitle = {Proceedings of the thirtieth annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}98} }