Length of Predicate Calculus Formulas as a New Complexity Measure

Neil Immerman

Browse the full FOCS paper archive.