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