@article {Alexin_Gyimothy_Bostrom_1997,
	title = {{IMPUT}: An Interactive Learning Tool Based on Program Specialization},
	journal = {Intelligent Data Analysis},
	volume = {1},
	number = {4},
	year = {1997},
	pages = {219{\textendash}244},
	url = {http://www-east.elsevier.com/ida/browse/0104/ida00015/ida00015.htm},
	author = {Z. Alexin and Tibor Gyim{\'o}thy and H. Bostr{\"o}m}
}
@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}
}
@conference {AlexinGyBo95,
	title = {Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner},
	booktitle = {Fifth International Workshop on Inductive Logic Programming},
	year = {1996},
	pages = {437-452},
	author = {Z. Alexin and Tibor Gyim{\'o}thy and H. Bostr{\"o}m}
}
