Srivastava, S.; Zilberstein, S.; Immerman, N.; Geffner, H. Qualitative Numeric Planning. AAAI 2011, 25, 1010-1016.