Incremental Property Directed Reachability. - Max Blankestijn; Alfons Laarman (ICFEM, 2023)