A validation structure based theory of plan modification and reuse - Kambhampati, Subbarao; Hendler, James A. (Stanford University / Computer Science Department: Report STAN CS, 1990)