BibTeX record conf/dlog/LabaiHO17

download as .bib file

@inproceedings{DBLP:conf/dlog/LabaiHO17,
  author    = {Nadia Labai and
               Martin Homola and
               Magdalena Ortiz},
  editor    = {Alessandro Artale and
               Birte Glimm and
               Roman Kontchakov},
  title     = {Constructive Satisfiability Procedure for ALC\({}^{\mbox{P}}\)(Z)
               (Preliminary Report)},
  booktitle = {Proceedings of the 30th International Workshop on Description Logics,
               Montpellier, France, July 18-21, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1879},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1879/paper16.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:56 +0100},
  biburl    = {https://dblp.org/rec/conf/dlog/LabaiHO17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics