Simple sentences that are hard to decide
limited number of quantifier alternations
scientific article; zbMATH DE number 4212026