M Miyazaki,
A Shinohara, M Takeda - … , CPM 97 Aarhus, Denmark, June 30 …, 1997 - Springer
We show an efficient pattern-matching algorithm for strings that are succinctly described in
terms of straight-line programs, in which the constants are symbols and the only operation is …