@inproceedings{Emerson,
    doi = {10.1109/lics.2000.855761},
    url = {https://doi.org/10.1109%2Flics.2000.855761},
    publisher = {{IEEE} Comput. Soc},
    author = {E.A. Emerson and J.W. Havlicek and R.J. Trefler},
    title = {Virtual symmetry reduction},
    booktitle = {Proceedings Fifteenth Annual {IEEE} Symposium on Logic in Computer Science (Cat. No.99CB36332)}
}

@inproceedings{Emerson, doi = {10.1109/lics.2000.855761}, url = {https://doi.org/10.1109%2Flics.2000.855761}, publisher = {{IEEE} Comput. Soc}, author = {E.A. Emerson and J.W. Havlicek and R.J. Trefler}, title = {Virtual symmetry reduction}, booktitle = {Proceedings Fifteenth Annual {IEEE} Symposium on Logic in Computer Science (Cat. No.99CB36332)} }