On initial segments of computable linear orders (1997)

by R J Coles, R Downey, B Khoussainov
Venue:Order