HladikM04'

@inproceedings{DBLP:conf/dlog/HladikM04,
  author    = {Jan Hladik and
               J{\"o}rg Model},
  title     = {Tableau Systems for SHIO and SHIQ},
  booktitle = {Description Logics},
  year      = {2004},
  ee        = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-104/22Hladik-final.pdf},
  crossref  = {DBLP:conf/dlog/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dlog/2004,
  editor    = {Volker Haarslev and
               Ralf M{\"o}ller},
  title     = {Proceedings of the 2004 International Workshop on Description
               Logics (DL2004), Whistler, British Columbia, Canada, June
               6-8, 2004},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {104},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}