Lutz, C., & Manière, Q. (2024). Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster.
Citazione stile Chigago Style (17a edizione)Lutz, Carsten, e Quentin Manière. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. 2024.
Citatione MLA (9a ed.)Lutz, Carsten, e Quentin Manière. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.