@article{JACM-GHKL-2021,
  title = "Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity",
  author = "Georg Gottlob and Andr{\'e} Hernich and Clemens Kupke and Thomas Lukasiewicz",
  year = "2021",
  journal = "Journal of the ACM",
  month = "October",
  number = "5",
  pages = "35:1--87",
  url = "https://doi.org/10.1145/3447508",
  volume = "68",
}