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

by B Dreben, W D Goldfarb