The Decision Problem: Solvable classes of Quantificationai formulas (1979)

by D Goldfarb