Katja Losemann - Deciding Definability by Deterministic Regular Expressions