Locally computable enumerations
1997 ◽
pp. 51-66