Malte Helmert Hector Geffner Unifying the Causal Graph and Additive Heuristics. 140-147 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#HelmertG08