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