Harry R. Lewis. Complexity of Solvable Cases of the Decision Problem for the Predicate Calculus. In 19th Annual Symposium on Foundations of Computer Science, 16-18 October, 1978, Ann Arbor, Michigan, USA. pages 35-47, IEEE, 1978.
Abstract is missing.