1. H. Adé, L. De Raedt, and M. Bruynooghe. Theory revision. In Proceedings of the 3rd International Workshop on Inductive Logic Programming, 1993.
2. H. Adé, L. De Raedt, and M. Bruynooghe. Declarative Bias for Specific-To-General ILP Systems. To appear in Machine Learning, 1994.
3. H. Adé, B. Malfait, and L. De Raedt. Ruth: an ILP Theory Revision System. Technical Report CW-194, Department of Computer Science, Katholieke Universiteit Leuven, 1994.
4. Francois Bry. Intensional updates: abduction via deduction. In D. Warren and P. Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 561–578. The MIT Press, 1990.
5. L. De Raedt. Interactive Theory Revision: an Inductive Logic Programming Approach. Academic Press, 1992.