C. Ferri-Ramírez, J. Hernández-Orallo, and M. Ramírez-Quintana. Proceedings of the 5th International Symposium on Functional and Logic Programming (FLOPS'01), volume 2024 of LNCS, page 233--247. Springer-Verlag, (2001)
J. Hernández-Orallo, and M. Ram\'ırez-Quintana. Proceedings of the 9th International Workshop on Inductive Logic Programming (ILP'99), page 116--127. Springer-Verlag, (1999)