On the expressive power of Kleene algebra with domain. - Struth, Georg (Information Processing Letters, 2016)