Juris Hartmanis Lane A. Hemachandra On Sparse Oracles Separating Feasible Complexity Classes. 321-333 1986 conf/stacs/1986 STACS db/conf/stacs/stacs86.html#HartmanisH86 https://doi.org/10.1007/3-540-16078-7_86