Minimising Good-For-Games Automata Is NP-Complete Academic Article