Decidability problems in languages with Henkin quantifiers
scientific article; zbMATH DE number 92990