@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}
}
