@InProceedings{   DBLP:conf/atva/HeizmannHLP13,
  Author        = "Heizmann, Matthias and Hoenicke, Jochen and Leike, Jan and Podelski, Andreas",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "ATVA",
  date-added    = "2013-10-25 08:46:33 +0000",
  date-modified = "2013-10-25 08:46:33 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-319-02444-8\_26",
  Pages         = "365-380",
  Title         = "Linear Ranking for Linear Lasso Programs",
  Year          = "2013",
  File          = "Linear Ranking for Linear Lasso Programs - Heizmann, Hoenicke, Leike, Podelski (0) (0) - a - a - j.pdf"
}

@InProceedings{ DBLP:conf/atva/HeizmannHLP13, Author = "Heizmann, Matthias and Hoenicke, Jochen and Leike, Jan and Podelski, Andreas", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "ATVA", date-added = "2013-10-25 08:46:33 +0000", date-modified = "2013-10-25 08:46:33 +0000", ee = "http://dx.doi.org/10.1007/978-3-319-02444-8_26", Pages = "365-380", Title = "Linear Ranking for Linear Lasso Programs", Year = "2013", File = "Linear Ranking for Linear Lasso Programs - Heizmann, Hoenicke, Leike, Podelski (0) (0) - a - a - j.pdf" }