Deciding Synchronous Kleene Algebra with Derivatives - Sabine Broda (2015)