@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"
}