Hüttel, H. (2002) “Deciding Framed Bisimilarity”, BRICS Report Series, 9(25). doi: 10.7146/brics.v9i25.21741.