Khizder, V. L., Toman, D., & Weddell, G. (2000). On Decidability and Complexity of Description Logics With Uniqueness Constraints Presented at the On Decidability and Complexity of Description Logics With Uniqueness Constraints conference. Retrieved from http://ceur-ws.org/Vol-33/Khizder193-202.ps
Reference author: Vitaliy Khizder
First name
Vitaliy
Middle name
L.
Last name
Khizder
Khizder, V. L., Toman, D., & Weddell, G. (2000). Reasoning About Duplicate Elimination With Description Logic Presented at the Reasoning About Duplicate Elimination With Description Logic conference. https://doi.org/10.1007/3-540-44957-4_68
Khizder, V. L., Toman, D., & Weddell, G. (2001). On Decidability and Complexity of Description Logics With Uniqueness Constraints Presented at the On Decidability and Complexity of Description Logics With Uniqueness Constraints conference. https://doi.org/10.1007/3-540-44503-X_4