@conference {PaaGyiHor94-ILP94,
	title = {Effective Algorithmic Debugging for Inductive Logic Programming},
	booktitle = {GMD-Studien},
	volume = {237},
	year = {1994},
	pages = {175-194},
	publisher = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung MBH},
	organization = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung MBH},
	author = {J. Paakki and Tibor Gyim{\'o}thy and T. Horv{\'a}th},
	editor = {S. Wrobel}
}
