with Marin, M. , Suzuki, T. , 2002, Reducing search space in solving higher-order equations, in S. Arikawa & A. Shinohara (eds.), Progress in discovery science, Dordrecht, Springer, pp. 19-30.