A cooperative parallelization approach for property-directed \(k\)-induction
scientific article; zbMATH DE number 7228511