@InProceedings{JU19,
    Author       = "Jakubuv, J. and Urban, J.",
    Year         = "2019",
    Title        = "{Hammering Mizar by Learning Clause Guidance}",
    Editor       = "",
    BookTitle    = "{Proceedings of the 10th International Conference on
                    Interactive Theorem Proving}",
    Place        = "Portland, USA",
    Series       = "Leibniz International Proceedings in Informatics",
    Number       = "",
    Pages        = "To appear",
    Publisher    = "Dagstuhl Publishing",
    Comment      = ""
}