TPTP Reference: HR+16

@InProceedings{HR+16,
    Author       = "Hoder, K. and Reger, G. and Suda, M. and Voronkov, A.",
    Year         = "2016",
    Title        = "{Selecting the Selection}",
    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        = "313-329",
    Comment      = ""
}