Marta Franová Yves Kodratoff On Computational Creativity, 'Inventing' Theorem Proofs. 573-581 2009 ISMIS http://dx.doi.org/10.1007/978-3-642-04125-9_60 conf/ismis/2009 db/conf/ismis/ismis2009.html#FranovaK09