Hierarchical invention of theorem proving strategies. - Jakubův, Jan; Urban, Josef; Fontaine; Kaliszyk; Schulz; Urban (AI Communications, 2018)