TSP: Mining Top-K Closed Sequential Patterns