Computational complexity of logical theories - Ferrante J; Rackoff C W (Berlin Springer-Verlag, 1979)