@InProceedings{MI+16,
    Author       = "Matsuzaki, T. and Iwane, H. and Kobayashi, M. and
                    Zhan, Y. and Fukasaku, R. and Kudo, J. and Anai, H. and
                    Arai, N.",
    Year         = "2016",
    Title        = "{Race against the Teens - Benchmarking Mechanized Math
                    on Pre-university Problems}",
    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        = "213-227",
    Comment      = "TPTPRef,TPTPCite"
}