Georg Struth: On the expressive power of Kleene algebra with domain. Inf. Process. Lett. 116(4): 284-288 (2016)