A Backward Slicing Algorithm for Prolog.

Stphane Schoenig, Mireille Ducass

Browse the full SAS paper archive.