Dietrich Kuske Theories of Automatic Structures and Their Complexity. 81-98 2009 CAI http://dx.doi.org/10.1007/978-3-642-03564-7_5 conf/cai/2009 db/conf/cai/cai2009.html#Kuske09