> KBSS
> STILL
> IDA
> AIC
Jakubův, J., Urban, J.
JAKUBŮV, J. and J. URBAN. Hierarchical invention of theorem proving strategies. AI Communications. 2018, 31(3), 237-250. ISSN 0921-7126.
URL: https://content.iospress.com/journals/ai-communications/31/3