COMPUTATIONAL COMPLEXITY OF LOGICAL THEORIES (LNCS 718) - FERRANTE,JEANNE, RACKOFF,CHARLES W (SV BERLIN, 1979)