by Nadia Labai, Martin Homola, Magdalena Ortiz
Reference:
Constructive Satisfiability Procedure for ALC\(^\mboxP\)(Z) (Preliminary Report)Nadia Labai, Martin Homola, Magdalena OrtizProceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. (Alessandro Artale, Birte Glimm, Roman Kontchakov, eds.), volume 1879 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
Bibtex Entry:
@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 = {Thu, 20 Jul 2017 09:50:21 +0200},
biburl = {https://dblp.org/rec/bib/conf/dlog/LabaiHO17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}