Tomohiro I, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda: Verifying a Parameterized Border Array in <i>O</i>(<i>n</i><sup>1.5</sup>) Time. CPM 2010: 238-250