Monadic Chain Logic Over Iterations and Applications to Pushdown Systems.

Dietrich Kuske, Markus Lohrey

Browse the full LICS paper archive.