Publications
Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engg.. 9:41–65.
.
2002. Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
.
1998. Slicing of Constraint Logic Programs. AADEBUG.
.
2000. Precise static slicing of constraint logic programs. Kalmár Workshop on Logic and Computer Science. :153-164.
.
2003. Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.
.
1999. Debug Slicing of Logic Programs. Conference of PhD Students on Computer Sciences. :43-44.
.
2000. The debug slicing of logic programs. Acta Cybernetica. 15:257–278.
.
2001.