Edmund F. Robertson Tietze Transformations with Weighted Substring Search. 59-64 1988 6 J. Symb. Comput. 1 db/journals/jsc/jsc6.html#Robertson88