@inbook {Gyimothy_Paakki_1995,
	title = {Static Slicing of Logic Programs},
	booktitle = {AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging},
	year = {1995},
	pages = {85{\textendash}105},
	publisher = {IRISA-CNRS},
	organization = {IRISA-CNRS},
	author = {Tibor Gyim{\'o}thy and J. Paakki}
}
