TPTP Reference: EH+16

@InProceedings{EH+16,
    Author       = "Ebner, G. and Hetzl, S. and Reis, G. and Riener, M. and Wolfsteiner, S. and
                    Zivota, S.",
    Year         = "2016",
    Title        = "{System Description: GAPT 2.0}",
    Editor       = "Olivetti, N. and Tiwari, A.",
    BookTitle    = "{Proceedings of the 8th International Joint Conference on Automated Reasoning}",
    Place        = "Coimbra, Portugal",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "9706",
    Pages        = "293-301",
    Comment      = "TPTPRef"
}