Unsolvable classes of quantificational formulas (1979)

by HARRY R LEWIS