An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
scientific article; zbMATH DE number 1784327