@Article{         AngelisFioravantiPettorossiProietti,
  Author        = "Angelis, Emanuele De and Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio",
  date-added    = "2014-03-08 06:58:27 +0000",
  date-modified = "2014-03-08 07:14:21 +0000",
  EPrint        = "1309.5139",
  Month         = "09",
  Title         = "Verification of Imperative Programs by Constraint Logic Program Transformation",
  URL           = "http://arxiv.org/abs/1309.5139",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1309.5139",
  File          = "Verification of Imperative Programs by Constraint Logic Program Transformation - Angelis, Fioravanti, Pettorossi, Proietti (0) (0) - a - a - c.pdf"
}

@Article{ AngelisFioravantiPettorossiProietti, Author = "Angelis, Emanuele De and Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio", date-added = "2014-03-08 06:58:27 +0000", date-modified = "2014-03-08 07:14:21 +0000", EPrint = "1309.5139", Month = "09", Title = "Verification of Imperative Programs by Constraint Logic Program Transformation", URL = "http://arxiv.org/abs/1309.5139", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1309.5139", File = "Verification of Imperative Programs by Constraint Logic Program Transformation - Angelis, Fioravanti, Pettorossi, Proietti (0) (0) - a - a - c.pdf" }