0-1 laws and decision problems for fragments of second-order logic
fragments of existential second-order logic
scientific article; zbMATH DE number 4162851
scientific article