Formulation of the Addition-Shift-Sequence Problem and Its Complexity. - Kaihiro Matsuura; Akira Nagoya (ISAAC, 1997)