Lee Spector, James A. Hendler: The Use of Supervenience in Dynamic-world Planning. AIPS 1994: 158-163