Hernández-Orallo, Ramírez-Quintana, 1999. A Strong Complete Schema for Inductive Functional Logic Programming, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-48751-4_12