Brayton, "Efficient implementation of property directed reachability," in Proceedings of the Formal Methods in Computer-Aided Design (FMCAD '11), pp.
Manna, "Checking safety by inductive generalization of counterexamples to induction," in Proceedings of the Formal Methods in Computer Aided Design (FMCAD '07), pp.