@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 = "" }