Andrea Ferrara Paolo Liberatore Marco Schaerf The Complexity of Action Redundancy. 1-12 2005 AI*IA http://dx.doi.org/10.1007/11558590_1 db/conf/aiia/aiia2005.html#FerraraLS05