Relational Approach to Program Slicing - I. Vankov (University of Amsterdam, 2005)