Property Directed Reachability for Planning Revisited. - Ava Clifton; Charles Gretton (KR, 2023)