A linear-time algorithm for testing the truth of certain quantified Boolean formulas
Testing the Truth of Quantified Boolean Formulas
scientific article; zbMATH DE number 3619340