@conference {AlexinGyBo96,
	title = {Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner},
	booktitle = {Proceedings of the European Conference on Artificial Intelligence (ECAI{\textquoteright}96)},
	year = {1996},
	pages = {403-407},
	keywords = {SPECTRE algorithmic_debugging debugging ilp inductive_programming ip-system program_synthesis},
	author = {Z. Alexin and Tibor Gyim{\'o}thy and H. Bostr{\"o}m}
}
