Publications
The debug slicing of logic programs. Acta Cybernetica. 15:257–278.
.
2001. 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. 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.