A Universally Hard Set of Formulae with Respect to Non-Deterministic Turing Acceptors. - Claus-Peter Schnorr; H. Klupp (Inf. Process. Lett., 1977)