On first-order expressibility of satisfiability in submodels
scientific article; zbMATH DE number 7176949