Juergen Rilling, Bhaskar Karanth: A Hybrid Program Slicing Framework. SCAM 2001: 14-25