A Backward Slicing Algorithm for Prolog (1145)

by S Schoenig, M Ducasse
Venue:In Proc. of SAS’96