BibTeX record conf/dlog/ShearerMH08

download as .bib file

@inproceedings{DBLP:conf/dlog/ShearerMH08,
  author    = {Rob Shearer and
               Boris Motik and
               Ian Horrocks},
  title     = {Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi},
  booktitle = {Proceedings of the 21st International Workshop on Description Logics
               (DL2008), Dresden, Germany, May 13-16, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/dlog/2008},
  url       = {http://ceur-ws.org/Vol-353/ShearerMotikHorrocks.pdf},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dlog/ShearerMH08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dlog/2008,
  editor    = {Franz Baader and
               Carsten Lutz and
               Boris Motik},
  title     = {Proceedings of the 21st International Workshop on Description Logics
               (DL2008), Dresden, Germany, May 13-16, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {353},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-353},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dlog/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}