TPTP Reference: MI+16
@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"
}