Title: String matching algorithms and their application to data compression