@InProceedings{JSU17,
    Author       = "Jakubuv, J. and Suda, M. and Urban, J.",
    Year         = "2017",
    Title        = "{Automated Invention of Strategies and Term Orderings for Vampire}",
    Editor       = "Benzm{\"u}ller, C. and Lisetti, C. and Theobald, M.",
    BookTitle    = "{Proceedings of the 3rd Global Conference on Artificial Intelligence}",
    Place        = "Miami, USA",
    Series       = "EPiC Series in Computing",
    Number       = "50",
    Pages        = "121-133",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}