A formalisation of the relationship between forms of program slicing.

David Binkley Sebastian Danicic Tibor Gyimóthy Mark Harman Ákos Kiss Bogdan Korel A formalisation of the relationship between forms of program slicing. 228-252 2006 62 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2006.04.007 db/journals/scp/scp62.html#BinkleyDGHKK06