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