Hannes Strass Michael Thielscher A Language for Default Reasoning about Actions. 527-542 2012 Correct Reasoning http://dx.doi.org/10.1007/978-3-642-30743-0_36 conf/birthday/2012lifschitz db/conf/birthday/lifschitz2012.html#StrassT12