Petr Jancar, Jirí Srba. Undecidability of bisimilarity by defender s forcing. Journal of the ACM, 55(1), 2008. [doi]
@article{JancarS08, title = {Undecidability of bisimilarity by defender s forcing}, author = {Petr Jancar and Jirí Srba}, year = {2008}, doi = {10.1145/1326554.1326559}, url = {http://doi.acm.org/10.1145/1326554.1326559}, researchr = {https://researchr.org/publication/JancarS08}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {55}, number = {1}, }