An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. - Yumi Wada; Takuya Matsuzaki; Akira Terui; Noriko H. Arai (ICMS, 2016)