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

by B Dreben, W D Goldfarb