Reversal-bounded multi-pushdown machines | IEEE Conference Publication | IEEE Xplore