@conference {SzGy03,
	title = {Precise static slicing of constraint logic programs},
	booktitle = {Kalm{\'a}r Workshop on Logic and Computer Science},
	year = {2003},
	month = {oct},
	pages = {153-164},
	author = {Gy. Szil{\'a}gyi and Tibor Gyim{\'o}thy}
}
