Exotic quantifiers, complexity classes, and complete problems
scientific article; zbMATH DE number 5567062
scientific article