The Work The Decision Problem: Solvable Classes of Quantificational Formulas The details The Author Warren Goldfarb The offers