Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. - Stéphane Schoenig; Mireille Ducassé (LPE, 1995)

A Backward Slicing Algorithm for Prolog. - Stéphane Schoenig; Mireille Ducassé (SAS, 1996)