@article{SV07, author = "J. Silva and G. Vidal", title = "Forward slicing of functional logic programs by partial evaluation", journal = "Theory and Practice of Logic Programming", year = "2007", volume = 7, issue = "1-2", pages = "215-247", }