@inproceedings{Emerson_1988,
    doi = {10.1109/sfcs.1988.21949},
    url = {https://doi.org/10.1109%2Fsfcs.1988.21949},
    year = {1988},
    publisher = {{IEEE}},
    author = {E.A. Emerson and C.S. Jutla},
    title = {The complexity of tree automata and logics of programs},
    booktitle = {[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science}
}

@inproceedings{Emerson_1988, doi = {10.1109/sfcs.1988.21949}, url = {https://doi.org/10.1109%2Fsfcs.1988.21949}, year = {1988}, publisher = {{IEEE}}, author = {E.A. Emerson and C.S. Jutla}, title = {The complexity of tree automata and logics of programs}, booktitle = {[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science} }