@article{Delzanno20095,
    Author = {Delzanno, Giorgio and Montagna, Roberto},
    File = {Deciding Reachability in Mobile Ambients with Name Restriction - Delzanno, Montagna (0) (0) - a - a - r.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {term rewriting},
    Note = {<ce:title>Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)</ce:title>},
    Number = {0},
    Pages = {5 - 15},
    Title = {Deciding Reachability in Mobile Ambients with Name Restriction},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066109001492},
    Volume = {239},
    Year = {2009},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066109001492},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.05.027},
    date-added = {2012-12-18 11:04:19 +0000},
    date-modified = {2012-12-18 11:04:19 +0000},
    doi = {10.1016/j.entcs.2009.05.027}
}

@article{Delzanno20095, Author = {Delzanno, Giorgio and Montagna, Roberto}, File = {Deciding Reachability in Mobile Ambients with Name Restriction - Delzanno, Montagna (0) (0) - a - a - r.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {term rewriting}, Note = {Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008)}, Number = {0}, Pages = {5 - 15}, Title = {Deciding Reachability in Mobile Ambients with Name Restriction}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066109001492}, Volume = {239}, Year = {2009}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066109001492}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.entcs.2009.05.027}, date-added = {2012-12-18 11:04:19 +0000}, date-modified = {2012-12-18 11:04:19 +0000}, doi = {10.1016/j.entcs.2009.05.027} }