Amirali Houshmandan Gholamreza Ghassem-Sani Hootan Nakhost Integration of Symmetry and Macro-operators in Planning. 1056-1066 2007 MICAI http://dx.doi.org/10.1007/978-3-540-76631-5_101 db/conf/micai/micai2007.html#HoushmandanGN07