@article {PGyH98,
	title = {Independent and-parallelization of logic programs using static slicing},
	journal = {Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica},
	volume = {17},
	year = {1998},
	pages = {307-321},
	author = {J. Paakki and Tibor Gyim{\'o}thy and T. Horv{\'a}th}
}
@conference {PGyH95,
	title = {Independent and-parallelization of logic programs using static slicing},
	booktitle = {Fourth Symposium on Programming Languages and Software Tools},
	year = {1995},
	month = {jun},
	pages = {307-319},
	author = {J. Paakki and Tibor Gyim{\'o}thy and T. Horv{\'a}th}
}
