Joseph Y. Halpern Axiomatizing Causal Reasoning. 317-337 2000 12 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/halpern00a.html db/journals/jair/jair12.html#Halpern00