Igor Sedlár: On the Complexity of Kleene Algebra with Domain. RAMiCS 2023: 208-223