Szilágyi, G. et al. 2001. The debug slicing of logic programs. Acta Cybernetica. 15, 2 (Jan. 2001), 257–278.