A proof slicing framework for program verification - Le, T.C. (2014)
10.1007/978-3-642-41202-8_5