Complexity of solvable cases of the decision problem for the predicate calculus (1978)

by H R Lewis
Venue:in Proc. 19th FOCS