Raffaella Gentilini Carla Piazza Alberto Policriti From Bisimulation to Simulation: Coarsest Partition Problems. 73-103 2003 31 J. Autom. Reasoning 1 http://dx.doi.org/10.1023/A:1027328830731 db/journals/jar/jar31.html#GentiliniPP03