Lecture Notes in Mathematics ( 718 ): The Computational Complexity of Logical Theories - Ferrante, Jeanne; Rackoff, Charles W. (Berlin: Springer-Verlag, 1979)