Pearl's Calculus of Intervention Is Complete. - Huang, Yimin; Valtorta, Marco (2006)