The settling-time reducibility ordering (0)

by B F Csima, R A Shore
Venue:Journal of Symbolic Logic