Davide Grossi Dov M. Gabbay Leendert van der Torre A Normative View on the Blocks World. 128-142 2008 NORMAS conf/normas/2008 db/conf/normas/normas2008.html#GrossiGT08