@inproceedings{Bradley:2012:UI:2352219.2352221,
    Address = {Berlin, Heidelberg},
    Author = {Bradley, Aaron R.},
    BookTitle = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing},
    File = {Understanding IC3 - Bradley (1) (0) - a - a - n.pdf},
    ISBN = {978-3-642-31611-1},
    Location = {Trento, Italy},
    Pages = {1--14},
    Publisher = {Springer-Verlag},
    Series = {SAT'12},
    Title = {Understanding IC3},
    URL = {http://dx.doi.org/10.1007/978-3-642-31612-8\_1},
    Year = {2012},
    acmid = {2352221},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-31612-8\_1},
    date-added = {2014-10-21 08:35:07 +0000},
    date-modified = {2014-10-21 08:35:07 +0000},
    file-2 = {Understanding IC3 - Bradley (2) (0) - a - a - n.pdf},
    numpages = {14},
    doi = {10.1007/978-3-642-31612-8_1}
}

@inproceedings{Bradley:2012:UI:2352219.2352221, Address = {Berlin, Heidelberg}, Author = {Bradley, Aaron R.}, BookTitle = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing}, File = {Understanding IC3 - Bradley (1) (0) - a - a - n.pdf}, ISBN = {978-3-642-31611-1}, Location = {Trento, Italy}, Pages = {1--14}, Publisher = {Springer-Verlag}, Series = {SAT'12}, Title = {Understanding IC3}, URL = {http://dx.doi.org/10.1007/978-3-642-31612-8_1}, Year = {2012}, acmid = {2352221}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-31612-8_1}, date-added = {2014-10-21 08:35:07 +0000}, date-modified = {2014-10-21 08:35:07 +0000}, file-2 = {Understanding IC3 - Bradley (2) (0) - a - a - n.pdf}, numpages = {14}, doi = {10.1007/978-3-642-31612-8_1} }