Marta Franová, Yves Kodratoff: Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving. Advances in Machine Learning II 2010: 155-173