Complexity results for classes of quantificational formulas (1980)

by H Lewis