@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}
}
@conference {HGyA93,
	title = {Interactive diagnosis and testing of logic programs},
	booktitle = {Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools},
	year = {1993},
	month = {aug},
	pages = {34-47},
	author = {T. Horv{\'a}th and Tibor Gyim{\'o}thy and Z. Alexin and Kocsis, F.}
}
@conference {conf/cc/GyimothyHKT88,
	title = {{Incremental Algorithms in Prof-LP}},
	booktitle = {CC},
	series = {Lecture Notes in Computer Science},
	volume = {371},
	year = {1988},
	pages = {93-102},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {3-540-51364-7},
	url = {http://dblp.uni-trier.de/db/conf/cc/cc88.html$\#$GyimothyHKT88},
	author = {Tibor Gyim{\'o}thy and T. Horv{\'a}th and Kocsis, F. and J. Toczki},
	editor = {Hammer, Dieter}
}
