@article{Murawski2008214,
    Author = {Murawski, Andrzej S. and Walukiewicz, Igor},
    File = {Third-order Idealized Algol with iteration is decidable - Murawski, Walukiewicz (0) (0) - a - a - x.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Program analysis},
    Note = {<ce:title>Foundations of Software Science and Computational Structures</ce:title>},
    Number = {2--3},
    Pages = {214 - 229},
    Title = {Third-order Idealized Algol with iteration is decidable},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397507007062},
    Volume = {390},
    Year = {2008},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397507007062},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2007.09.022},
    date-added = {2013-05-01 16:58:25 +0000},
    date-modified = {2013-05-01 16:58:25 +0000},
    doi = {10.1016/j.tcs.2007.09.022}
}

@article{Murawski2008214, Author = {Murawski, Andrzej S. and Walukiewicz, Igor}, File = {Third-order Idealized Algol with iteration is decidable - Murawski, Walukiewicz (0) (0) - a - a - x.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Program analysis}, Note = {Foundations of Software Science and Computational Structures}, Number = {2--3}, Pages = {214 - 229}, Title = {Third-order Idealized Algol with iteration is decidable}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397507007062}, Volume = {390}, Year = {2008}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397507007062}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2007.09.022}, date-added = {2013-05-01 16:58:25 +0000}, date-modified = {2013-05-01 16:58:25 +0000}, doi = {10.1016/j.tcs.2007.09.022} }