Title: Automata, Graphs and Logic