Lower bounds by recursion theoretic arguments - Schöning, Uwe 1955- (EWH Koblenz, Informatik, 1986)