Algorithmic Debugging and Testing of Prolog Programs.. LPE. :14-21.. 1997.
Debug Slicing of Logic Programs. Conference of PhD Students on Computer Sciences. :43-44.. 2000.
Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.. 1999.
IDTS: a Tool for the Debugging and Testing of Prolog Programs. 8th Conference on Logic and Computer Science. :103-110.. 1997.
The debug slicing of logic programs. Acta Cybernetica. 15:257–278.. 2001.