A ¯exible framework for dynamic and static slicing of logic programs (1999)

by W W Vasconcelos
Venue:Proc. PADL'99, Lect. Notes in Comput. Sci