doi dblp Efficient Approximation of Edit Distance Robert Krauthgamer String Processing and Information Retrieval - 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings