Interprocedural Semantic Change-Impact Analysis using Equivalence Relations
An analysis of time-dependent planning