A General Algorithm for Deciding Transportability of Experimental Results
Pearl's Calculus of Intervention Is Complete