@InProceedings{KU13-ICM,
    Author       = "Kaliszyk, C. and Urban, J.",
    Year         = "2013",
    Title        = "{Automated Reasoning Service for HOL Light}",
    Editor       = "Carette, J. and Aspinall, D. and Lange, C. and Sojka, P.  and Windsteiger, W.",
    BookTitle    = "{Proceddings of the International Conference on Intelligent Computer
                    Mathematics}",
    Place        = "Bath, United Kingdom",
    Series       = "Lecture Notes in Computer Science",
    Number       = "7961",
    Pages        = "120-135",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}