Dynamic slicing of lazy functional programs based on redex trails.

Published in: High. Order Symb. Comput. (2008)

Keyphrases