arXiv:1208.4803 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords complexity, first-order predicate logic, second version works, first version characterizes, propositional logic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset