Monadic chain logic over iterations and applications to push-down systems

Authors: 
Kuske, D.
Lohrey, M.
Year: 
2006
Appeared / Erschienen in: 
LICS 2006, 91-100, IEEE Computer Society (2006)