Nguyen, L., Nguyen, L., & Szałas, A.
(2015).
A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse.
VNU Journal Of Science: Computer Science And Communication Engineering, 30(4).
Retrieved from //jcsce.vnu.edu.vn/index.php/jcsce/article/view/29