@InProceedings{BP13-TFF1,
    Author       = "Blanchette, J. and Paskevich, A.",
    Year         = "2013",
    Title        = "{TFF1: The TPTP Typed First-order Form with Rank-1 Polymorphism}",
    Editor       = "Bonacina, M.P.",
    BookTitle    = "{Proceedings of the 24th International Conference on
                    Automated Deduction}",
    Place        = "Lake Placid, USA",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "7898",
    Pages        = "414-420",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPCite"
}