MSO decidability of Multi-Pushdown Systems via Split-Width (2012)

by Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar