One-Way Log-Tape Reductions Juris Hartmanis Neil Immerman Stephen R. Mahaney 65-72 conf/focs/FOCS19 1978 FOCS db/conf/focs/focs78.html#HartmanisIM78