@inproceedings {5005,
	title = {On Decidability and Complexity of Description Logics With Uniqueness Constraints},
	booktitle = {International Workshop on Description Logics (DL)},
	year = {2000},
	url = {http://ceur-ws.org/Vol-33/Khizder193-202.ps},
	author = {Vitaliy L. Khizder and David Toman and Grant Weddell}
}
