Petr Jancar Selected Ideas Used for Decidability and Undecidability of Bisimilarity. 56-71 2008 Developments in Language Theory http://dx.doi.org/10.1007/978-3-540-85780-8_4 conf/dlt/2008 db/conf/dlt/dlt2008.html#Jancar08