Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog

Stéphane Schoenig, Mireille Ducassé. Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. In LPE. 1995.

Abstract

Abstract is missing.