Explicit Safety Property Strengthening in SAT-based Induction | IEEE Conference Publication | IEEE Xplore