DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2021.18,10052,KrCh,Decomposing permutation automata