Computational complexity of logical theoies. - Ferrante Jeanne; Rackoff Charles W (1979)