A validation structure based theory of plan modification and reuse - Kambhampati, Subbarao; Hendler, James A. (1990)