Nguyen, Linh Anh and Nguyen, Thi Hong Khanh and Nguyen, Ngoc-Thanh and Ha, Quang-Thuy  (2016) Bisimilarity for paraconsistent description logics.  In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016.