Complexity results for classes of quantificational formulas
scientific article; zbMATH DE number 3737644
scientific article