The Decision Problem: Solvable Classes of Quantiticational Formulas (1979)

by B S DREBEN, W D GOLDFARB