%0 Generic %1 lutz2024adding %A Lutz, Carsten %A Manière, Quentin %D 2024 %K topic_knowledge imported %T Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

@unknown{lutz2024adding, added-at = {2024-11-14T13:23:29.000+0100}, author = {Lutz, Carsten and Manière, Quentin}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/220d184414accbf9318369303aa637026/scadsfct}, interhash = {1af2885668644686fa8204442526cea3}, intrahash = {20d184414accbf9318369303aa637026}, keywords = {topic_knowledge imported}, month = {07}, timestamp = {2024-11-22T15:46:30.000+0100}, title = {Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster}, year = 2024 }