@InProceedings{BG+19, Author = "Brown, C. and Gauthier, T. and Kaliszyk, C. and Sutcliffe, G. and Urban, J.", Year = "2019", Title = "{GRUNGE: A Grand Unified ATP Challenge}", Editor = "Fontaine, P.", BookTitle = "{Proceedings of the 27th International Conference on Automated Deduction}", Place = "Natal, Brazil", Series = "Lecture Notes in Computer Science", Number = "11716", Pages = "123-141", Publisher = "Springer-Verlag", Comment = "TPTPRef" }