Patrik Haslum A New Approach to Tractable Planning. 132-139 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#Haslum08