V. Belle and G. Lakemeyer, “A Semantical Account of Progression in the Presence of Uncertainty”, AAAI, vol. 25, no. 1, pp. 165-170, Aug. 2011.