Petr Jancar Jirí Srba Undecidability of bisimilarity by defender's forcing. 2008 55 J. ACM 1 http://doi.acm.org/10.1145/1326554.1326559 db/journals/jacm/jacm55.html#JancarS08