Machine Learning for Inductive Theorem Proving. - Yaqing Jiang; Petros Papapanagiotou; Jacques D. Fleuriot (AISC, 2018)