Bisimilarity for paraconsistent description logics.

Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha

Browse the full SMC paper archive.