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

Christoph Haase, Alessio Mansutti, Amaury Pouly
January 2023
PDF DOI
Type
Conference paper
Publication
Mathematical Foundations of Computer Science, MFCS