Szilágyi, G., Harmath, L., & Gyimóthy, T. (2001). The debug slicing of logic programs. Acta Cybernetica, 15(2), 257-278. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3578