@inproceedings{Kuske:2006:MCL:1157735.1158046,
    Address = {Washington, DC, USA},
    Author = {Kuske, Dietrich and Lohrey, Markus},
    BookTitle = {Proc. of LICS'06},
    File = {Monadic Chain Logic Over Iterations and Applications to Pushdown Systems - Kuske, Lohrey (0) (0) - a - a - r.pdf},
    ISBN = {0-7695-2631-4},
    Keywords = {Muchnik's theorem and pushdown automata},
    Pages = {91--100},
    Publisher = {IEEE Computer Society},
    Series = {LICS '06},
    Title = {Monadic Chain Logic Over Iterations and Applications to Pushdown Systems},
    URL = {http://dx.doi.org/10.1109/LICS.2006.35},
    Year = {2006},
    acmid = {1158046},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.35},
    date-added = {2015-09-18 06:22:30 +0000},
    date-modified = {2015-10-02 09:56:58 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2006.35}
}

@inproceedings{Kuske:2006:MCL:1157735.1158046, Address = {Washington, DC, USA}, Author = {Kuske, Dietrich and Lohrey, Markus}, BookTitle = {Proc. of LICS'06}, File = {Monadic Chain Logic Over Iterations and Applications to Pushdown Systems - Kuske, Lohrey (0) (0) - a - a - r.pdf}, ISBN = {0-7695-2631-4}, Keywords = {Muchnik's theorem and pushdown automata}, Pages = {91--100}, Publisher = {IEEE Computer Society}, Series = {LICS '06}, Title = {Monadic Chain Logic Over Iterations and Applications to Pushdown Systems}, URL = {http://dx.doi.org/10.1109/LICS.2006.35}, Year = {2006}, acmid = {1158046}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.35}, date-added = {2015-09-18 06:22:30 +0000}, date-modified = {2015-10-02 09:56:58 +0000}, numpages = {10}, doi = {10.1109/LICS.2006.35} }