Arne Meier, Thomas Schneider 0002. Generalized Satisfiability for the Description Logic ::::ALC::::/mathcal{ALC} - (Extended Abstract). In Mitsunori Ogihara, Jun Tarui, editors, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Volume 6648 of Lecture Notes in Computer Science, pages 552-562, Springer, 2011. [doi]
@inproceedings{MeierS11,
title = {Generalized Satisfiability for the Description Logic ::::ALC::::/mathcal{ALC} - (Extended Abstract)},
author = {Arne Meier and Thomas Schneider 0002},
year = {2011},
doi = {10.1007/978-3-642-20877-5_53},
url = {http://dx.doi.org/10.1007/978-3-642-20877-5_53},
tags = {logic},
researchr = {https://researchr.org/publication/MeierS11},
cites = {0},
citedby = {0},
pages = {552-562},
booktitle = {Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings},
editor = {Mitsunori Ogihara and Jun Tarui},
volume = {6648},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-20876-8},
}