@InProceedings{SWB16,
    Author       = "Steen, A. and Wisniewski, M. and Benzm{\"u}ller, C.",
    Year         = "2016",
    Title        = "{Agent-based HOL Reasoning}",
    Editor       = "Greuel, G-M. and Koch, T. and Paule, P. and Sommese A.",
    BookTitle    = "{Proceedings of the 5th International Congress on
                    Mathematical Software}",
    Place        = "Berlin, Germany",
    Series       = "Lecture Notes in Computer Science",
    Number       = "9725",
    Pages        = "75-81",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}