Automatic linear orders and trees - Khoussainov, B. (2013)
10.1145/1094622.1094625