Monadic Chain Logic Over Iterations and Applications to Pushdown Systems | IEEE Conference Publication | IEEE Xplore