Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz. Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity. Journal of the ACM, 68(5), 2021. [doi]
@article{GottlobHKL21,
title = {Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity},
author = {Georg Gottlob and André Hernich and Clemens Kupke and Thomas Lukasiewicz},
year = {2021},
doi = {10.1145/3447508},
url = {https://doi.org/10.1145/3447508},
researchr = {https://researchr.org/publication/GottlobHKL21},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {68},
number = {5},
}