@inproceedings{Griesmayer:2006:RBP:2135909.2135955,
    Address = {Berlin, Heidelberg},
    Author = {Griesmayer, Andreas and Bloem, Roderick and Cook, Byron},
    BookTitle = {Proceedings of the 18th International Conference on Computer Aided Verification},
    File = {Repair of Boolean Programs with an Application to C - Griesmayer, Bloem, Cook (0) (0) - a - a - y.pdf},
    ISBN = {3-540-37406-X, 978-3-540-37406-0},
    Location = {Seattle, WA},
    Pages = {358--371},
    Publisher = {Springer-Verlag},
    Series = {CAV'06},
    Title = {Repair of Boolean Programs with an Application to C},
    URL = {http://dx.doi.org/10.1007/11817963\_33},
    Year = {2006},
    acmid = {2135955},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_33},
    date-added = {2014-03-11 18:46:34 +0000},
    date-modified = {2014-03-11 18:46:34 +0000},
    numpages = {14},
    doi = {10.1007/11817963_33}
}

@inproceedings{Griesmayer:2006:RBP:2135909.2135955, Address = {Berlin, Heidelberg}, Author = {Griesmayer, Andreas and Bloem, Roderick and Cook, Byron}, BookTitle = {Proceedings of the 18th International Conference on Computer Aided Verification}, File = {Repair of Boolean Programs with an Application to C - Griesmayer, Bloem, Cook (0) (0) - a - a - y.pdf}, ISBN = {3-540-37406-X, 978-3-540-37406-0}, Location = {Seattle, WA}, Pages = {358--371}, Publisher = {Springer-Verlag}, Series = {CAV'06}, Title = {Repair of Boolean Programs with an Application to C}, URL = {http://dx.doi.org/10.1007/11817963_33}, Year = {2006}, acmid = {2135955}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_33}, date-added = {2014-03-11 18:46:34 +0000}, date-modified = {2014-03-11 18:46:34 +0000}, numpages = {14}, doi = {10.1007/11817963_33} }