Giuliano Armano Giancarlo Cherchi Eloisa Vargiu DHG: A System for Generating Macro-Operators from Static Domain Analysis. 18-23 2005 conf/aia/2005 Artificial Intelligence and Applications db/conf/aia/aia2005.html#ArmanoCV05