@InProceedings{RK+25,
    Author       = "Ranalter, D. and Kaliszyk, C. and Rabe, F. and Sutcliffe, G.",
    Year         = "2025",
    Title        = "{The Dependently Typed Higher-Order Form for the TPTP World}",
    Editor       = "Thiemann, R. and Weidenbach, C.",
    BookTitle    = "{Proceedings of the 15th International Symposium on Frontiers of Combining
                    Systems}",
    Place        = "Reykjavik, Iceland",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "15979",
    Pages        = "287-305",
    Publisher    = "Springer-Verlag",
    DOI          = "10.1007/978-3-032-04167-8_16",
    Comment      = "TPTPRef,TPTPCite"
}