The settling-time reducibility ordering

by Barbara F. Csima, Richard, A. Shore
Venue:Journal of Symbolic Logic