Logical laws for existential monadic second-order sentences with infinite first-order parts
scientific article; zbMATH DE number 6854410