@InProceedings{	  KuskeL06lics,
  title		= "Monadic chain logic over iterations and applications to
		  pushdown systems",
  author	= "Dietrich Kuske and Markus Lohrey",
  address	= "Edinburgh, Scotland, UK",
  publisher	= "{IEEE} Computer Society Press",
  year		= "2006",
  booktitle	= "{P}roceedings of the 21st {A}nnual {IEEE} {S}ymposium on
		  {L}ogic in {C}omputer {S}cience ({LICS}'10)",
  doi		= "10.1109/LICS.2006.35",
  pages		= "91--100"
}