(1)
Belle, V.; Lakemeyer, G. A Semantical Account of Progression in the Presence of Uncertainty. AAAI 2011, 25, 165-170.