Jakubův, J., Suda, M., Urban, J.
JAKUBŮV, J., M. SUDA, and J. URBAN. Automated Invention of Strategies and Term Orderings for Vampire. In: BENZMULLER, C., M. THEOBALD, and C.L. LISETTI, eds. GCAI 2017, 3rd Global Conference on Artificial Intelligence. 3rd Global Conference on Artificial Intelligence, Miami, 2017-10-18/2017-10-22. Manchester: EasyChair Publications, 2017. p. 121-133. EPiC Series in Computing. vol. 50. ISSN 2398-7340. Available from: http://www.easychair.org/publications/paper/rsMF