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

Christoph Haase, Alessio Mansutti, Amaury Pouly

Browse the full MFCS paper archive.