Kaihiro Matsuura Akira Nagoya Formulation of the Addition-Shift-Sequence Problem and Its Complexity. 42-51 1997 conf/isaac/1997 ISAAC db/conf/isaac/isaac97.html#MatsuuraN97 http://dx.doi.org/10.1007/3-540-63890-3_6