@InProceedings{   DBLP:conf/sas/CharlierH92,
  Author        = "Charlier, Baudouin Le and Hentenryck, Pascal Van",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "WSA",
  date-added    = "2014-03-20 09:11:48 +0000",
  date-modified = "2014-03-20 09:11:48 +0000",
  Pages         = "229-246",
  Title         = "On the Design of Generic Abstract Interpretation Frameworks",
  Year          = "1992",
  File          = "On the Design of Generic Abstract Interpretation Frameworks - Charlier, Hentenryck (0) (0) - a - a - t.pdf"
}

@InProceedings{ DBLP:conf/sas/CharlierH92, Author = "Charlier, Baudouin Le and Hentenryck, Pascal Van", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "WSA", date-added = "2014-03-20 09:11:48 +0000", date-modified = "2014-03-20 09:11:48 +0000", Pages = "229-246", Title = "On the Design of Generic Abstract Interpretation Frameworks", Year = "1992", File = "On the Design of Generic Abstract Interpretation Frameworks - Charlier, Hentenryck (0) (0) - a - a - t.pdf" }