Non-Linear Speed-Up Theorem for Two Register Minsky Machines. - M. Benesová; Ivan Korec (MFCS, 1975)