Amaury Pouly

Latest

• On Polynomial-Time Decidability of $k$-Negations Fragments of FO Theories (Extended Abstract)