Claudio Ochoa Josep Silva Germán Vidal Dynamic slicing of lazy functional programs based on redex trails. 147-192 2008 21 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-008-9023-7 db/journals/lisp/lisp21.html#OchoaSV08