Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar. MSO Decidability of Multi-Pushdown Systems via Split-Width. Koutny, Maciej and Ulidowski, Irek.
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, United Kingdom. Springer, 7454, pp.547-561, 2012,
〈10.1007/978-3-642-32940-1_38〉.
〈hal-00776596〉