Fangzhen Lin Mikhail Soutchanski Causal Theories of Actions Revisited. 2011 AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2410 conf/aaaiss/2011-6 db/conf/aaaiss/aaaiss2011-6.html#LinS11