BibTeX record conf/dlog/CadoliCG04

download as .bib file

@inproceedings{DBLP:conf/dlog/CadoliCG04,
  author    = {Marco Cadoli and
               Diego Calvanese and
               Giuseppe {De Giacomo}},
  title     = {Towards Implementing Finite Model Reasoning in Description Logics},
  booktitle = {Proceedings of the 2004 International Workshop on Description Logics
               (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
  year      = {2004},
  crossref  = {DBLP:conf/dlog/2004},
  url       = {http://ceur-ws.org/Vol-104/10Cadoli-final.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dlog/CadoliCG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {104},
  publisher = {CEUR-WS.org},
  year      = {2004},
  url       = {http://ceur-ws.org/Vol-104},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dlog/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}