M. Hofmann, E. Kitzelmann, and U. Schmid. German Conference on Artificial Intelligence (KI'08), volume 5243 of LNAI, page 78--86. Springer-Verlag, (2008)
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)