Teege94'

BibTeX

@inproceedings{DBLP:conf/kr/Teege94,
  author    = {Gunnar Teege},
  title     = {Making the Difference: A Subtraction Operation for Description
               Logics},
  booktitle = {KR},
  year      = {1994},
  pages     = {540-550},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}