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