Richmond H. Thomason Conditionals and Action Logics. 156-161 2007 AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-027.php conf/aaaiss/2007-5 db/conf/aaaiss/aaaiss2007-5.html#Thomason07