TY - RPRT TI - Computing Crisp Bisimulations for Fuzzy Structures AU - Linh Anh Nguyen AU - Dat Xuan Tran PY - 2023 UR - https://arxiv.org/abs/2010.15671 ID - 2010.15671 ER -