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.
Precise static slicing of constraint logic programs. Kalmár Workshop on Logic and Computer Science. :153-164.. 2003.
Slicing of Constraint Logic Programs. AADEBUG.. 2000.
The debug slicing of logic programs. Acta Cybernetica. 15:257–278.. 2001.
Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.. 1998.
Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engg.. 9:41–65.. 2002.