@inproceedings{McMillan:TACAS:2005,
    Address = {Berlin, Heidelberg},
    Author = {McMillan, K. L.},
    BookTitle = {Proc. of TACAS'05},
    File = {Applications of Craig Interpolants in Model Checking - McMillan (1) (0) - a - a - i.pdf},
    ISBN = {3-540-25333-5, 978-3-540-25333-4},
    Location = {Edinburgh, UK},
    Pages = {1--12},
    Publisher = {Springer-Verlag},
    Series = {TACAS'05},
    Title = {Applications of Craig Interpolants in Model Checking},
    URL = {http://dx.doi.org/10.1007/978-3-540-31980-1\_1},
    Year = {2005},
    acmid = {2140655},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1\_1},
    date-added = {2016-01-29 17:22:11 +0000},
    date-modified = {2016-01-29 17:22:27 +0000},
    file-2 = {Applications of Craig Interpolants in Model Checking - McMillan (0) (0) - a - a - i.pdf},
    numpages = {12},
    doi = {10.1007/978-3-540-31980-1_1}
}

@inproceedings{McMillan:TACAS:2005, Address = {Berlin, Heidelberg}, Author = {McMillan, K. L.}, BookTitle = {Proc. of TACAS'05}, File = {Applications of Craig Interpolants in Model Checking - McMillan (1) (0) - a - a - i.pdf}, ISBN = {3-540-25333-5, 978-3-540-25333-4}, Location = {Edinburgh, UK}, Pages = {1--12}, Publisher = {Springer-Verlag}, Series = {TACAS'05}, Title = {Applications of Craig Interpolants in Model Checking}, URL = {http://dx.doi.org/10.1007/978-3-540-31980-1_1}, Year = {2005}, acmid = {2140655}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1_1}, date-added = {2016-01-29 17:22:11 +0000}, date-modified = {2016-01-29 17:22:27 +0000}, file-2 = {Applications of Craig Interpolants in Model Checking - McMillan (0) (0) - a - a - i.pdf}, numpages = {12}, doi = {10.1007/978-3-540-31980-1_1} }