Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs. - Saimun Habib; Vaishak Belle; Fengxiang He (CoRR, 2026)