Xiangyu Zhang, Rajiv Gupta, Youtao Zhang. Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 502-511, IEEE Computer Society, 2004. [doi]