Complexity of solvable cases of the decision problem for the predicate calculus | IEEE Conference Publication | IEEE Xplore