The Decision Problem : Solvable Classes of Quantificational Formulas. - Dreben, Burton (London Addison-Wesley Publishing Com, 1979)