Szilágyi, Gyöngyi, László Harmath, and Tibor Gyimóthy. “The Debug Slicing of Logic Programs”. Acta Cybernetica 15, no. 2 (January 1, 2001): 257-278. Accessed May 18, 2022. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3578.