An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
['Yumi Wada', 'Takuya Matsuzaki', 'Akira Terui', 'Noriko H. Arai']
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination