On-line simulation of k+1 tapes by k tapes requires nonlinear time | IEEE Conference Publication | IEEE Xplore