Melvin Fitting Bisimulations and Boolean Vectors. 97-126 2002 conf/aiml/2002 Advances in Modal Logic db/conf/aiml/aiml2002.html#Fitting02