TY  - RPRT
TI  - On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
AU  - Christoph Haase
AU  - Alessio Mansutti
AU  - Amaury Pouly
PY  - 2026
DO  - 10.46298/lmcs-22(1:21)2026
UR  - https://arxiv.org/abs/2407.18420
ID  - 2407.18420
ER  -