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