@inproceedings{lm-kr24,
    title     = {{Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster}},
    author    = {Lutz, Carsten and Manière, Quentin},
    booktitle = {{Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)}},
    pages     = {531--541},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/50},
  }