First order and counting theories of omega-automatic structures - Kuske, Dietrich; Lohrey, Markus (Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik), 2005)