@article {Szilagyi:2001:DSL:512590.512601,
	title = {The debug slicing of logic programs},
	journal = {Acta Cybernetica},
	volume = {15},
	year = {2001},
	month = {December},
	pages = {257{\textendash}278},
	publisher = {Acta Cybernetica},
	address = {Szeged, Hungary, Hungary},
	issn = {0324-721X},
	url = {http://dl.acm.org/citation.cfm?id=512590.512601},
	author = {Gy. Szil{\'a}gyi and L. Harmath and Tibor Gyim{\'o}thy}
}
@conference {HSzGy00,
	title = {Debug Slicing of Logic Programs},
	booktitle = {Conference of PhD Students on Computer Sciences},
	year = {2000},
	month = {jul},
	pages = {43-44},
	author = {Gy. Szil{\'a}gyi and L. Harmath and Tibor Gyim{\'o}thy}
}
@conference {HSzGy99,
	title = {Dynamic Slicing of Logic Programs: Program analysis and verification},
	booktitle = {The Sixth Fenno-Ugric Symposium on Software Technology},
	year = {1999},
	month = {aug},
	pages = {101-113},
	author = {L. Harmath and Gy. Szil{\'a}gyi and Tibor Gyim{\'o}thy and J. Csirik}
}
@conference {conf/lpe/KokaiHG97,
	title = {Algorithmic Debugging and Testing of Prolog Programs.},
	booktitle = {LPE},
	year = {1997},
	pages = {14-21},
	keywords = {dblp},
	url = {http://dblp.uni-trier.de/db/conf/lpe/lpe97.html$\#$KokaiHG97},
	author = {G. K{\'o}kai and L. Harmath and Tibor Gyim{\'o}thy}
}
@conference {KHGy97,
	title = {{IDTS}: a Tool for the Debugging and Testing of Prolog Programs},
	booktitle = {8th Conference on Logic and Computer Science},
	year = {1997},
	pages = {103-110},
	author = {G. K{\'o}kai and L. Harmath and Tibor Gyim{\'o}thy}
}
