Ping Zhu 0001 Huiyang Xie Qiaoyan Wen Rough approximations based on bisimulations. 49-62 2017 81 Int. J. Approx. Reason. https://doi.org/10.1016/j.ijar.2016.11.007 db/journals/ijar/ijar81.html#ZhuXW17
