G. Szilágyi, L. Harmath, and T. Gyimóthy, “The debug slicing of logic programs”, Acta Cybern, vol. 15, no. 2, pp. 257-278, Jan. 2001.