| Title | On Keys and Functional Dependencies as First-Class Citizens in Description Logics |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Toman, D., and G. Weddell |
| Conference Name | Conference on Automated Deduction (CADE) |
| DOI | 10.1007/11814771_52 |
