Publications
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
.
1996. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.
.
1996. IMPUT: An Interactive Learning Tool Based on Program Specialization. Intelligent Data Analysis. 1:219–244.
.
1997.