Hollenberg, M. Safety for Bisimulation in General Modal Logic. Proceedings of the AC 1995, 359-376.