Alberto Griggio, Marco Roveri: Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(6): 1026-1039 (2016)