@InProceedings{KSR16, Author = "Kaliszyk, C. and Sutcliffe, G. and Rabe, F.", Year = "2016", Title = "{TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism}", Editor = "Fontaine, P. and Schulz, S. and Urban, J.", BookTitle = "{Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning}", Place = "Coimbra, Portugal", Pages = "41-55", Series = "CEUR Workshop Proceedings", Number = "1635", Comment = "" }