@misc{indiciae430267431e55, title = {On Bisimulations for Description Logics}, author = {Ali Rezaei Divroodi and Linh Anh Nguyen}, year = {2015}, doi = {10.1016/j.ins.2014.10.022}, url = {https://arxiv.org/abs/1104.1964}, note = {Source identifier: 1104.1964} }