A fine-grained analogue of schaefer's Theorem in P: dichotomy of ∃k∀-quantified first-order graph properties
scientific article; zbMATH DE number 7564431
scientific article