@inproceedings{Hur_2012,
    doi = {10.1145/2103656.2103666},
    url = {https://doi.org/10.1145%2F2103656.2103666},
    year = {2012},
    month = {jan},
    publisher = {{ACM}},
    author = {Chung-Kil Hur and Derek Dreyer and Georg Neis and Viktor Vafeiadis},
    title = {The marriage of bisimulations and Kripke logical relations},
    booktitle = {Proceedings of the 39th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages}
}

@inproceedings{Hur_2012, doi = {10.1145/2103656.2103666}, url = {https://doi.org/10.1145%2F2103656.2103666}, year = {2012}, month = {jan}, publisher = {{ACM}}, author = {Chung-Kil Hur and Derek Dreyer and Georg Neis and Viktor Vafeiadis}, title = {The marriage of bisimulations and Kripke logical relations}, booktitle = {Proceedings of the 39th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages} }