Generalized Property Directed Reachability
scientific article