Vitaliy L. Khizder David Toman Grant E. Weddell On Decidability and Complexity of Description Logics with Uniqueness Constraints. 2001 conf/icdt/2001 ICDT db/conf/icdt/icdt2001.html#KhizderTW01 54-67 http://dx.doi.org/10.1007/3-540-44503-X_4 http://link.springer.de/link/service/series/0558/bibs/1973/19730054.htm conf/icdt/AbiteboulV97 journals/tkde/Borgida95 conf/sigmod/BorgidaBMR89 conf/dood/BorgidaW97 conf/pods/BunemanFW98 conf/pods/BunemanFW99 conf/dood/CalvaneseGL95 conf/krdb/CalvaneseGL99 conf/dlog/CalvaneseGL00 conf/dagstuhl/CalvaneseLN98 ... journals/tods/ChomickiI93 conf/pods/FanS00 ... journals/jcss/ItoW94 ... conf/cl/KhizderTW00 books/sp/Lloyd87 journals/tkde/BommelW94 conf/dood/Weddell89 journals/tods/Weddell92