@inproceedings{Henzinger,
    doi = {10.1109/sfcs.1995.492576},
    url = {https://doi.org/10.1109%2Fsfcs.1995.492576},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {M.R. Henzinger and T.A. Henzinger and P.W. Kopke},
    title = {Computing simulations on finite and infinite graphs},
    booktitle = {Proceedings of {IEEE} 36th Annual Foundations of Computer Science}
}

@inproceedings{Henzinger, doi = {10.1109/sfcs.1995.492576}, url = {https://doi.org/10.1109%2Fsfcs.1995.492576}, publisher = {{IEEE} Comput. Soc. Press}, author = {M.R. Henzinger and T.A. Henzinger and P.W. Kopke}, title = {Computing simulations on finite and infinite graphs}, booktitle = {Proceedings of {IEEE} 36th Annual Foundations of Computer Science} }