Gerhard Lakemeyer Hector J. Levesque A Semantical Account of Progression in the Presence of Defaults. 842-847 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-144.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#LakemeyerL09