Georg Sigl, Ulf Schlichtmann. Goal oriented slicing enumeration through shape function clipping. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 361-365, EEE Computer Society, 1991. [doi]
Abstract is missing.