Dynamic slicing of lazy functional programs based on redex trails | Publicación