1. H. Ade, L. De Raedt, and M. Bruynooghe. Theory revision. In S. Muggleton, editor, Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 179–192, 1993.
2. Y. Dimopoulos and A. Kakas. Abduction and inductive learning. In L. De Raedt, editor, Proceedings of the Fifth Inductive Logic Programming Workshop (ILP9), pages 25–28, Leuven, Belgium, 1995. KU Leuven.
3. B. Dujon. The yeast genome project-what did we learn? Trends in Genetics, 12:263–270, 1996.
4. K. Furukawa. On the completion of the most specific hypothesis computation in inverse entailment for mutual recursion. In Proceedings of Discovery Science’ 98, LNAI1532, pages 315–325, Berlin, 1998. Springer-Verlag.
5. Goffeau, A. et multi al. Life with 6000 genes. Science, 274:546–567, 1996.