BibTeX record conf/aswc/WangH12

download as .bib file

@inproceedings{DBLP:conf/aswc/WangH12,
  author       = {Cong Wang and
                  Pascal Hitzler},
  editor       = {Hideaki Takeda and
                  Yuzhong Qu and
                  Riichiro Mizoguchi and
                  Yoshinobu Kitamura},
  title        = {A Resolution Procedure for Description Logics with Nominal Schemas},
  booktitle    = {Semantic Technology, Second Joint International Conference, {JIST}
                  2012, Nara, Japan, December 2-4, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7774},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37996-3\_1},
  doi          = {10.1007/978-3-642-37996-3\_1},
  timestamp    = {Tue, 05 Nov 2019 09:43:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aswc/WangH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics