Gösta Grahne Matti Nykänen Esko Ukkonen Reasoning about Strings in Databases. 116-162 1999 59 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss59.html#GrahneNU99