Michael R. Laurence Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas. 157-172 2007 72 J. Log. Algebr. Program. 2 http://dx.doi.org/10.1016/j.jlap.2007.02.008 db/journals/jlp/jlp72.html#Laurence07