Hüttel, H. Deciding Framed Bisimilarity. BRICS 2002, 9.