AGREP, an approximate GREP / ( text search software )