Algorithmic Debugging and Testing of Prolog Programs. - Gabriella Kókai; László Harmath; Tibor Gyimóthy (LPE, 1997)

The Debug Slicing of Logic Programs. - Gyöngyi Szilágyi; László Harmath; Tibor Gyimóthy (Acta Cybern., 2001)