@Article{         springerlink:10.1007/s00165-008-0081-8,
  Author        = "Delzanno, Giorgio and Montagna, Roberto",
  affiliation   = "Universit{\`a} di Genova Dipartimento di Informatica e Scienze dell'Informazione via Dodecaneso 35 16143 Genova Italy",
  date-added    = "2012-12-18 10:57:39 +0000",
  date-modified = "2012-12-18 10:57:39 +0000",
  ISSN          = "0934-5043",
  Issue         = "4",
  Journal       = "Formal Aspects of Computing",
  keyword       = "Computer Science",
  Note          = "10.1007/s00165-008-0081-8",
  Pages         = "407-428",
  Publisher     = "Springer London",
  Title         = "Reachability analysis of fragments of mobile ambients in AC term rewriting",
  URL           = "http://dx.doi.org/10.1007/s00165-008-0081-8",
  Volume        = "20",
  Year          = "2008",
  bdsk-url-1    = "http://dx.doi.org/10.1007/s00165-008-0081-8",
  File          = "Reachability analysis of fragments of mobile ambients in AC term rewriting - Delzanno, Montagna (0) (0) - a - a - p.pdf"
}

@Article{ springerlink:10.1007/s00165-008-0081-8, Author = "Delzanno, Giorgio and Montagna, Roberto", affiliation = "Universit{`a} di Genova Dipartimento di Informatica e Scienze dell'Informazione via Dodecaneso 35 16143 Genova Italy", date-added = "2012-12-18 10:57:39 +0000", date-modified = "2012-12-18 10:57:39 +0000", ISSN = "0934-5043", Issue = "4", Journal = "Formal Aspects of Computing", keyword = "Computer Science", Note = "10.1007/s00165-008-0081-8", Pages = "407-428", Publisher = "Springer London", Title = "Reachability analysis of fragments of mobile ambients in AC term rewriting", URL = "http://dx.doi.org/10.1007/s00165-008-0081-8", Volume = "20", Year = "2008", bdsk-url-1 = "http://dx.doi.org/10.1007/s00165-008-0081-8", File = "Reachability analysis of fragments of mobile ambients in AC term rewriting - Delzanno, Montagna (0) (0) - a - a - p.pdf" }