Agostino Dovier Carla Piazza Alberto Policriti A Fast Bisimulation Algorithm. 79-90 2001 conf/cav/2001 CAV http://dx.doi.org/10.1007/3-540-44585-4_8 db/conf/cav/cav2001.html#DovierPP01