Undecidability of Bisimilarity by Defender's Forcing. - Janč, Petr; Sarba, Jiří (Journal of the ACM, 2008)