@conference {kiss:formalizing,
	title = {Formalizing Slicing {\textendash} Results, Current Work and Challenges},
	booktitle = {Beyond Program Slicing {\textendash} Abstracts Collection},
	series = {Dagstuhl Seminar Proceedings},
	volume = {05451},
	year = {2005},
	pages = {10{\textendash}11},
	publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI)},
	organization = {Internationales Begegnungs- und Forschungszentrum (IBFI)},
	address = {Schloss Dagstuhl, Germany},
	author = {{\'A}kos Kiss}
}
