@InProceedings{KUV15,
    Author       = "Kaliszyk, C. and Urban, J. and Vyskocil, J.",
    Year         = "2015",
    Title        = "{Machine Learner for Automated Reasoning 0.4 and 0.5}",
    Editor       = "Schulz, S. and de Moura, L. and Konev, B.",
    BookTitle    = "{Proceedings of the 4th Workshop on Practical Aspects of
                    Automated Reasoning}",
    Place        = "Vienna, Austria",
    Series       = "EPiC Series in Computing",
    Number       = "31",
    Pages        = "60-66",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}