@InProceedings{JU18-CICM,
    Author       = "Jakubuv, J. and Urban, J.",
    Year         = "2018",
    Title        = "{Enhancing ENIGMA Given Clause Guidance}",
    Editor       = "Rabe, F. and Farmer, W. and Passmore, G. and Youssef, A.",
    BookTitle    = "{Proceedings of the 11th International Conference on
                    Intelligent Computer Mathematics}",
    Place        = "Hagenberg, Austria",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "11006",
    Pages        = "118-124",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}