_id,doi,title
10052,10.4230/LIPIcs.CONCUR.2021.18,Decomposing permutation automata