@inproceedings{McMillan:2006:LAI:2135909.2135929,
    Address = {Berlin, Heidelberg},
    Author = {McMillan, Kenneth L.},
    BookTitle = {Proceedings of the 18th international conference on Computer Aided Verification},
    File = {Lazy abstraction with interpolants - McMillan (0) (0) - a - a - q.pdf},
    ISBN = {3-540-37406-X, 978-3-540-37406-0},
    Location = {Seattle, WA},
    Pages = {123--136},
    Publisher = {Springer-Verlag},
    Series = {CAV'06},
    Title = {Lazy abstraction with interpolants},
    URL = {http://dx.doi.org/10.1007/11817963\_14},
    Year = {2006},
    acmid = {2135929},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_14},
    date-added = {2013-01-22 14:56:03 +0000},
    date-modified = {2013-01-22 14:56:03 +0000},
    numpages = {14},
    doi = {10.1007/11817963_14}
}

@inproceedings{McMillan:2006:LAI:2135909.2135929, Address = {Berlin, Heidelberg}, Author = {McMillan, Kenneth L.}, BookTitle = {Proceedings of the 18th international conference on Computer Aided Verification}, File = {Lazy abstraction with interpolants - McMillan (0) (0) - a - a - q.pdf}, ISBN = {3-540-37406-X, 978-3-540-37406-0}, Location = {Seattle, WA}, Pages = {123--136}, Publisher = {Springer-Verlag}, Series = {CAV'06}, Title = {Lazy abstraction with interpolants}, URL = {http://dx.doi.org/10.1007/11817963_14}, Year = {2006}, acmid = {2135929}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_14}, date-added = {2013-01-22 14:56:03 +0000}, date-modified = {2013-01-22 14:56:03 +0000}, numpages = {14}, doi = {10.1007/11817963_14} }