H. Hüttel, “Deciding Framed Bisimilarity”, BRICS, vol. 9, no. 25, May 2002.