Approximate Causal Abstraction
Sander Beckers Frederick Eberhardt Joseph Y. Halpern













 









THEOREMTheorem[section]
theorem  : 
                        
LEMMA[THEOREM]Lemma
lemma  : 
                      
COROLLARY[THEOREM]Corollary
corollary  : 
                          
PROPOSITION[THEOREM]Proposition
proposition  : 
                            
DEFINITION[THEOREM]Definition
definition  : 
                            
CLAIM[THEOREM]Claim
claim  : 
                            
EXAMPLE[THEOREM]Example
example  : 
                            
REMARK[THEOREM]Remark
remark  : 
                            




