Siddharth Srivastava Shlomo Zilberstein Neil Immerman Hector Geffner Qualitative Numeric Planning. 2011 AAAI http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3731 conf/aaai/2011 db/conf/aaai/aaai2011.html#SrivastavaZIG11