@InProceedings{   DBLP:conf/acri/DAntonioD04,
  Author        = "D'Antonio, Massimo and Delzanno, Giorgio",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "ACRI",
  date-added    = "2012-12-18 00:15:26 +0000",
  date-modified = "2012-12-18 00:15:26 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-540-30479-1\_77",
  Pages         = "745-754",
  Title         = "SAT-Based Analysis of Cellular Automata",
  Year          = "2004",
  File          = "SAT-Based Analysis of Cellular Automata - D'Antonio, Delzanno (0) (0) - a - a - x.pdf"
}

@InProceedings{ DBLP:conf/acri/DAntonioD04, Author = "D'Antonio, Massimo and Delzanno, Giorgio", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "ACRI", date-added = "2012-12-18 00:15:26 +0000", date-modified = "2012-12-18 00:15:26 +0000", ee = "http://dx.doi.org/10.1007/978-3-540-30479-1_77", Pages = "745-754", Title = "SAT-Based Analysis of Cellular Automata", Year = "2004", File = "SAT-Based Analysis of Cellular Automata - D'Antonio, Delzanno (0) (0) - a - a - x.pdf" }