Malte Helmert Decidability and Undecidability Results for Planning with Numerical State Variables. 44-53 2002 AIPS conf/aips/YounesS02 db/conf/aips/aips2002.html#Helmert02