MSO decidability of multi-pushdown systems via splitwidth (2012)

by A Cyriac, P Gastin, K N Kumar
Venue:In CONCUR