ArtaleCI10'

@inproceedings{DBLP:conf/dlog/ArtaleCI10,
  author    = {Alessandro Artale and
               Diego Calvanese and
               Yazmin Ang{\'e}lica Ib{\'a}{\~n}ez-Garc\'{\i}a},
  title     = {Checking Full Satisfiability of Conceptual Models},
  booktitle = {Description Logics},
  year      = {2010},
  ee        = {http://ceur-ws.org/Vol-573/paper_40.pdf},
  crossref  = {DBLP:conf/dlog/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dlog/2010,
  editor    = {Volker Haarslev and
               David Toman and
               Grant E. Weddell},
  title     = {Proceedings of the 23rd International Workshop on Description
               Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {573},
  year      = {2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}