DBLP Record 'conf/dlog/BaaderK01'

BibTeX

@inproceedings{DBLP:conf/dlog/BaaderK01,
  author    = {Franz Baader and
               Ralf K{\"u}sters},
  title     = {Unification in a Description Logic with Transitive Closure
               of Roles},
  booktitle = {Description Logics},
  year      = {2001},
  ee        = {http://CEUR-WS.org/Vol-49/BaaderKuesters-36start.ps},
  crossref  = {DBLP:conf/dlog/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dlog/2001,
  editor    = {Carole A. Goble and
               Deborah L. McGuinness and
               Ralf M{\"o}ller and
               Peter F. Patel-Schneider},
  title     = {Working Notes of the 2001 International Description Logics
               Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {49},
  year      = {2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}