@InProceedings{JU17-CICM,
    Author       = "Jakubuv, J. and Urban, J.",
    Year         = "2017",
    Title        = "{ENIGMA: Efficient Learning-based Inference Guiding Machine}",
    Editor       = "Geuvers, H. and England, M. and Hasan, O. and Rabe, F. and Teschke, O.",
    BookTitle    = "{Proceedings of the 10th International Conference on Intelligent Computer
                    Mathematics}",
    Place        = "Edinburgh, United Kingdom",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "10383",
    Pages        = "292-302",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}

@InProceedings{JU17,
    Author       = "Jakubuv, J. and Urban, J.",
    Year         = "2017",
    Title        = "{BliStrTune: Hierarchical Invention of Theorem Proving Strategies}",
    Editor       = "Bertot, Y. and Vafeiadis, V.",
    BookTitle    = "{Proceedings of Certified Programs and Proofs 2017}",
    Place        = "Paris, France",
    Pages        = "43-52",
    Publisher    = "ACM",
    Comment      = ""
}