@inproceedings {5001,
	title = {On Decidability and Complexity of Description Logics With Uniqueness Constraints},
	booktitle = {International Conference on Database Theory (ICDT)},
	year = {2001},
	doi = {10.1007/3-540-44503-X_4},
	author = {Vitaliy L. Khizder and David Toman and Grant Weddell}
}
