Richmond H. Thomason John F. Horty Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. 229-250 1996 conf/tark/1996 TARK db/conf/tark/tark1996.html#ThomasonH96