S
[SB11] Fabio Somenzi and Steven Bradley. IC3: where monolithic and incremental meet. In FMCAD'11, pages 3-8. October 2011. 
@inproceedings{fmcad2011-SB,
  author =              {Somenzi, Fabio and Bradley, Steven},
  title =               {{IC3:} where monolithic and incremental meet},
  booktitle =           {{P}roceedings of the 11th {I}nternational
                         {C}onference on {F}ormal {M}ethods in
                         {C}omputer-{A}ided {D}esign ({FMCAD}'11)},
  acronym =             {{FMCAD}'11},
  pages =               {3-8},
  year =                {2011},
  month =               oct,
}
List of authors