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