@article{Kretinsky:2009:RDW:1539055.1539736,
    Address = {Duluth, MN, USA},
    Author = {K\v{r}et\'{\i}nsk\'{y}, Mojm\'{\i}r and \v{R}eh\'{a}k, Vojt\v{e}ch and Strej\v{c}ek, Jan},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Month = {June},
    Number = {6},
    Pages = {671--680},
    Publisher = {Academic Press, Inc.},
    Title = {Reachability is decidable for weakly extended process rewrite systems},
    URL = {http://dx.doi.org/10.1016/j.ic.2009.01.003},
    Volume = {207},
    Year = {2009},
    acmid = {1539736},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2009.01.003},
    date-added = {2012-11-27 19:04:22 +0000},
    date-modified = {2012-11-27 19:04:22 +0000},
    issue_date = {June, 2009},
    numpages = {10},
    doi = {10.1016/j.ic.2009.01.003}
}

@article{Kretinsky:2009:RDW:1539055.1539736, Address = {Duluth, MN, USA}, Author = {K\v{r}et\'{\i}nsk\'{y}, Mojm\'{\i}r and \v{R}eh\'{a}k, Vojt\v{e}ch and Strej\v{c}ek, Jan}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Month = {June}, Number = {6}, Pages = {671--680}, Publisher = {Academic Press, Inc.}, Title = {Reachability is decidable for weakly extended process rewrite systems}, URL = {http://dx.doi.org/10.1016/j.ic.2009.01.003}, Volume = {207}, Year = {2009}, acmid = {1539736}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2009.01.003}, date-added = {2012-11-27 19:04:22 +0000}, date-modified = {2012-11-27 19:04:22 +0000}, issue_date = {June, 2009}, numpages = {10}, doi = {10.1016/j.ic.2009.01.003} }